diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-05-15 09:40:44 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-05-15 09:40:44 +0000 |
| commit | a0ca9827e820145f17a053081c4f3ece06de87d1 (patch) | |
| tree | 321dff56da298a52e1c5d2af13956a65fcede4f5 /src | |
| parent | 4111ebc38334c0abcd6170db9a78cb8380917741 (diff) | |
| download | open-axiom-a0ca9827e820145f17a053081c4f3ece06de87d1.tar.gz | |
* algebra/nregset.spad.pamphlet (recip$NormalizationPackage): Fix
thinko.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/algebra/nregset.spad.pamphlet | 12 |
2 files changed, 13 insertions, 4 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index f46e4df2..b9ff33a9 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2008-05-14 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * algebra/nregset.spad.pamphlet (recip$NormalizationPackage): Fix + thinko. + 2008-05-13 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/c-util.boot (warnLiteral): Just warn, really. diff --git a/src/algebra/nregset.spad.pamphlet b/src/algebra/nregset.spad.pamphlet index a1ad85fe..9405dfbd 100644 --- a/src/algebra/nregset.spad.pamphlet +++ b/src/algebra/nregset.spad.pamphlet @@ -160,13 +160,17 @@ NormalizationPackage(R,E,V,P,TS): Exports == Implementation where -- ASSUME mvar(p) is algebraic w.r.t. ts v := mvar(p) ts_v := select(ts,v)::P + d : P + n : P if mdeg(p) < mdeg(ts_v) then - hesrg: Record (gcd : P, coef2 : P) := halfExtendedSubResultantGcd2(ts_v,p)$P - d: P := hesrg.gcd; n: P := hesrg.coef2 + hesrg2 := halfExtendedSubResultantGcd2(ts_v,p)$P + d := hesrg2.gcd + n := hesrg2.coef2 else - hesrg: Record (gcd : P, coef1 : P) := halfExtendedSubResultantGcd1(p,ts_v)$P - d: P := hesrg.gcd; n: P := hesrg.coef1 + hesrg1 := halfExtendedSubResultantGcd1(p,ts_v)$P + d := hesrg1.gcd + n := hesrg1.coef1 g := gcd(n,d) (n, d) := ((n exquo g)::P, (d exquo g)::P) remn, remd: Record(rnum:R,polnum:P,den:R) |