diff options
Diffstat (limited to 'src/algebra/sregset.spad.pamphlet')
| -rw-r--r-- | src/algebra/sregset.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/sregset.spad.pamphlet b/src/algebra/sregset.spad.pamphlet index 7528a521..634f37c8 100644 --- a/src/algebra/sregset.spad.pamphlet +++ b/src/algebra/sregset.spad.pamphlet @@ -674,8 +674,7 @@ SquareFreeRegularTriangularSetGcdPackage(R,E,V,P,TS): Exports == Implementation -- 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 := stoseInternalLastSubResultant(p,q,ts,true,false) @@ -1480,8 +1479,7 @@ SquareFreeRegularTriangularSet(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 |