diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-05-11 03:28:45 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-05-11 03:28:45 +0000 |
| commit | 51422a0c6bc0128cd5635a01c402ef56ad4ed770 (patch) | |
| tree | d7f4cb13310b177e1691acd1307eb420d70b2546 /src/algebra/groebsol.spad.pamphlet | |
| parent | d2412069e4fc43a4bc6cc28ce4c57e02f8baee41 (diff) | |
| download | open-axiom-51422a0c6bc0128cd5635a01c402ef56ad4ed770.tar.gz | |
* interp/iterator.boot (compRepeatOrCollect): Don't iterator
variables and variables declared in a loop are local to that loop.
* interp/g-error.boot (needsToSplitMessage): New.
(errorSupervisor): Use it.
* interp/compiler.boot (compSymbol): Highlight erron=eous symbol.
* interp/wi1.boot (stackMessage): Remove duplicate.
* algebra/ffcat.spad.pamphlet (FiniteFieldCategory): Tidy.
* algebra/fff.spad.pamphlet (FiniteFieldFunctions): Likewie.
* algebra/groebsol.spad.pamphlet (GroebnerSolve): Likewise.
* algebra/intfact.spad.pamphlet (IntegerRoots): Likewise.
* algebra/mkfunc.spad.pamphlet (InputForm): Likewise.
* algebra/numtheor.spad.pamphlet (IntegerNumberTheoryFunctions):
Likewise.
* algebra/permgrps.spad.pamphlet (PermutationGroup): Likewise.
* algebra/random.spad.pamphlet (RandomFloatDistributions): Likewise.
* algebra/sgcf.spad.pamphlet
(SymmetricGroupCombinatoricFunctions): Likewise.
* algebra/triset.spad.pamphlet (PolynomialSetUtilitiesPackage):
Likewise.
* algebra/twofact.spad.pamphlet (TwoFactorize): Likewise.
Diffstat (limited to 'src/algebra/groebsol.spad.pamphlet')
| -rw-r--r-- | src/algebra/groebsol.spad.pamphlet | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/algebra/groebsol.spad.pamphlet b/src/algebra/groebsol.spad.pamphlet index 482c960f..a25c60d5 100644 --- a/src/algebra/groebsol.spad.pamphlet +++ b/src/algebra/groebsol.spad.pamphlet @@ -107,12 +107,16 @@ GroebnerSolve(lv,F,R) : C == T lnp:=[dmpToHdmp(f) for f in lp] x := first rlvar;rlvar:=rest rlvar testfail:=true + ranvals: L I + gb: L HDPoly + gbt: L DPoly + gb1: Union(L DPoly,"failed") for count in 1.. while testfail repeat - ranvals:L I:=[1+(random()$I rem (count*(# lvar))) for vv in rlvar] + ranvals := [1+(random()$I rem (count*(# lvar))) for vv in rlvar] val:=+/[rv*(vv::HDPoly) for vv in rlvar for rv in ranvals] val:=val+x::HDPoly - gb:L HDPoly:= [elt(univariate(p,x),val) for p in lnp] + gb := [elt(univariate(p,x),val) for p in lnp] gb:=groebner gb gbt:=totolex gb (gb1:=testGenPos(gbt,lvar)) case "failed"=>"try again" |