diff options
Diffstat (limited to 'src/algebra/groebf.spad.pamphlet')
| -rw-r--r-- | src/algebra/groebf.spad.pamphlet | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/algebra/groebf.spad.pamphlet b/src/algebra/groebf.spad.pamphlet index 47225404..fe1a43e4 100644 --- a/src/algebra/groebf.spad.pamphlet +++ b/src/algebra/groebf.spad.pamphlet @@ -9,8 +9,12 @@ \eject \tableofcontents \eject + \section{package GBF GroebnerFactorizationPackage} + <<package GBF GroebnerFactorizationPackage>>= +import Boolean +import List )abbrev package GBF GroebnerFactorizationPackage ++ Author: H. Michael Moeller, Johannes Grabmeier ++ Date Created: 24 August 1989 @@ -323,7 +327,7 @@ GroebnerFactorizationPackage(Dom, Expon, VarSet, Dpol): T == C where we found reducible polynomials and continue splitting")$OUT createGroebnerBases([],[],[],basis,[],[],info) - groebnerFactorize(basis, nonZeroRestrictions) == + groebnerFactorize(basis: List Dpol, nonZeroRestrictions: List Dpol) == groebnerFactorize(basis, nonZeroRestrictions, false) groebnerFactorize(basis, nonZeroRestrictions, info) == @@ -337,7 +341,8 @@ GroebnerFactorizationPackage(Dom, Expon, VarSet, Dpol): T == C where createGroebnerBases([],[],nonZeroRestrictions,basis,[],[],info) groebnerFactorize(basis) == groebnerFactorize(basis, [], false) - groebnerFactorize(basis,info) == groebnerFactorize(basis, [], info) + groebnerFactorize(basis: List Dpol,info: Boolean) == + groebnerFactorize(basis, [], info) @ \section{License} |