aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/twofact.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-08-16 14:17:40 +0000
committerdos-reis <gdr@axiomatics.org>2009-08-16 14:17:40 +0000
commitab480e7c03c9f3ab95856eaff6e6493882ff0c36 (patch)
treebba846f3e063f72834df5121dfff6d68ad7f4f91 /src/algebra/twofact.spad.pamphlet
parentd2afe2366c2c592327cd0eb6593a3536a6eff54d (diff)
downloadopen-axiom-ab480e7c03c9f3ab95856eaff6e6493882ff0c36.tar.gz
* interp/i-map.boot (addMap): Fix typo from last commit.
* interp/compiler.boot (compElt): Fix thinko, one more time. * interp/nruncomp.boot (optDeltaEntry): Don't overquote VM forms for constants. * algebra/algext.spad.pamphlet: Call niladic functions with empty argument lists. * algebra/ddfact.spad.pamphlet: Likewise. * algebra/gpgcd.spad.pamphlet: Likewise. * algebra/modmon.spad.pamphlet: Likewise. * algebra/pf.spad.pamphlet: Likewise. * algebra/polycat.spad.pamphlet: Likewise. * algebra/twofact.spad.pamphlet: Likewise. * algebra/list.spad.pamphlet: "nil" is now a ocnstant. * algebra/string.spad.pamphlet: "space", "quote", "escape" are now constants.
Diffstat (limited to 'src/algebra/twofact.spad.pamphlet')
-rw-r--r--src/algebra/twofact.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/twofact.spad.pamphlet b/src/algebra/twofact.spad.pamphlet
index 68f48bf9..bf9b9368 100644
--- a/src/algebra/twofact.spad.pamphlet
+++ b/src/algebra/twofact.spad.pamphlet
@@ -196,7 +196,7 @@ TwoFactorize(F) : C == T
-- the polynomial is inseparable w.r.t. its main variable
map(differentiate,fac) = 0 =>
p:=characteristic$F
- PthRootPow:=(size$F exquo p)::NonNegativeInteger
+ PthRootPow:=(size()$F exquo p)::NonNegativeInteger
m1:=divideExponents(map(pthRoot(#1,p,PthRootPow),fac),p)
m1 case "failed" => error "consistency error in TwoFactor"
res:=generalTwoFactor m1