diff options
Diffstat (limited to 'src/algebra/regset.spad.pamphlet')
| -rw-r--r-- | src/algebra/regset.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/regset.spad.pamphlet b/src/algebra/regset.spad.pamphlet index 63e02274..691a91a9 100644 --- a/src/algebra/regset.spad.pamphlet +++ b/src/algebra/regset.spad.pamphlet @@ -948,8 +948,7 @@ RegularTriangularSetGcdPackage(R,E,V,P,TS): Exports == Implementation where -- ASSUME p is not constant and mvar(p) > mvar(ts) -- ASSUME init(p) is invertible w.r.t. ts -- ASSUME p is mainly primitive --- one? mdeg(p) => [[p,ts]$PWT] - mdeg(p) = 1 => [[p,ts]$PWT] + one? mdeg(p) => [[p,ts]$PWT] v := mvar(p)$P q: P := mainPrimitivePart D(p,v) lgwt: List PWT := internalLastSubResultant(p,q,ts,true,false) @@ -1680,8 +1679,7 @@ RegularTriangularSet(R,E,V,P) : Exports == Implementation where lts: List($) := [] (numberOfVariables(lp,lts)$regsetdecomppack :: Z - #lp :: Z) < 2 --- lin?(p:P):Boolean == ground?(init(p)) and one?(mdeg(p)) - lin?(p:P):Boolean == ground?(init(p)) and (mdeg(p) = 1) + lin?(p:P):Boolean == ground?(init(p)) and one?(mdeg(p)) pre_process(lp:LP,clos?:B,info?:B): Record(val: LP, towers: Split) == -- if info? then PRINT information |