diff options
Diffstat (limited to 'src/algebra/ghensel.spad.pamphlet')
| -rw-r--r-- | src/algebra/ghensel.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/ghensel.spad.pamphlet b/src/algebra/ghensel.spad.pamphlet index 5643e7e2..cf8ddb42 100644 --- a/src/algebra/ghensel.spad.pamphlet +++ b/src/algebra/ghensel.spad.pamphlet @@ -79,7 +79,7 @@ GeneralHenselPackage(RP,TP):C == T where maxd := +/[degree f for f in fln] quo 2 auxfl:List List TP := [] for poly in fln while factlist~=[] repeat - factlist := [term for term in factlist | ^member?(poly,term)] + factlist := [term for term in factlist | not member?(poly,term)] dp := degree poly for term in factlist repeat (+/[degree f for f in term]) + dp > maxd => "next term" @@ -148,9 +148,9 @@ GeneralHenselPackage(RP,TP):C == T where dfn := degree m aux := [] for poly in fln repeat - ^member?(poly,auxl) => aux := cons(poly,aux) - auxfl := [term for term in auxfl | ^member?(poly,term)] - factlist := [term for term in factlist |^member?(poly,term)] + not member?(poly,auxl) => aux := cons(poly,aux) + auxfl := [term for term in auxfl | not member?(poly,term)] + factlist := [term for term in factlist | not member?(poly,term)] fln := aux factlist := auxfl if dfn > 0 then finallist := cons(m,finallist) |