Conquering inseparability: Primary decomposition and multivariate factorization over algebraic function fields of positive characteristic

Journal of Symbolic Computation

Volumn 40, Issue 3, 2005, Pages 1053-1075

  Steel, Allan ^a  

^a UNIVERSITY OF SYDNEY   (Australia)

Author keywords

Algebraic function field; Gr bner basis; Inseparability; Non perfect field; Polynomial factorization; Primary decomposition

Indexed keywords

EID: 23344440171     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jsc.2005.03.002     Document Type: Article

References (15)

1. B. Amrhein O. Gloor W. Kuechlin Walking faster In: J. Calmet C. Limongelli (Eds.) Design and Implementation of Symbolic Computation Systems Springer LNCS vol. 1128 1996 150-161
2. T. Becker V. Weispfenning Grübner Bases 1993 Springer Verlag New York
3. Belabas, K., van Hoeij, M., Klüners, J., Steel, A., 2004. Factoring polynomials over global fields. Int. Math. Res. Not. (submitted for publication)
4. L. Bernardin M. Monagan Efficient multivariate factorization over finite fields In: Proc. AAECC'97 In: Springer LNCS vol. 1255 1997 15-28
5. W. Bosma J. Cannon C. Playoust The magma algebra system I: The user language J. Symbolic Comput. 24 3 1997 235-265 URL: http://magma.maths.usyd.edu.au
6. S. Collart M. Kalkbrener D. Mall Converting bases with the Gröbner walk J. Symbolic Comput. 24 3-4 1997 465-469
7. Davenport, J.H., Trager, B.M., 1981. Factorization over finitely generated fields. In: Proceedings of the 1981 Symposium on Symbolic and Algebraic Computation. Snowbird, Utah, pp. 200-205
8. J.-C. Faugère P. Gianni D. Lazard T. Mora Efficient computations of zero-dimensional Gröbner bases by change of ordering J. Symbolic Comput. 16 1993 329-344
9. K. Geddes S. Czapor G. Labahn Algorithms for Computer Algebra 1992 Kluwer Boston
10. P. Gianni B.M. Trager G. Zacharias Gröbner bases and primary decomposition of polynomial ideals J. Symbolic Comput. 6 2-3 1988 149-167
11. G. Kemper The calculation of radical ideals in positive characteristic J. Symbolic Comput. 34 3 2002 229-238
12. D.E. Knuth 3rd ed The Art of Computer Programming vol. 2 1998 Addison Wesley Reading, MA
13. Steel, A., 2004. Conquering inseparability (examples web page). http://magma.maths.usyd.edu.au/users/allan/insep
14. B.M. Trager Algebraic factoring and rational function integration In: R.D. Jenks (Ed.) Proc. SYMSAC'76 1976 ACM Press 196-208
15. M. van Hoeij Factoring polynomials and the knapsack problem J. Number Theory 95 2 2002 167-189