[Axiom-developer] 20081107.01.tpd.patch (sae.input ignore probabilistic results)

[daly]

The primitiveElement call can return different values at different
times. The returned roots are, however, correct for any polynomial.

===========================================================================
diff --git a/changelog b/changelog
index 0c68719..93b84a5 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,4 @@
+20081107 tpd src/input/sae.input ignore probabilistic answers
 20081106 tpd src/algebra/Makefile remove matcat.spad
 20081105 tpd src/input/Makefile reclos2.input added
 20081105 axj src/input/reclos2.input added
diff --git a/src/input/sae.input.pamphlet b/src/input/sae.input.pamphlet
index b720cce..9ad68e4 100644
--- a/src/input/sae.input.pamphlet
+++ b/src/input/sae.input.pamphlet
@@ -33,44 +33,44 @@ pol2:=z^3-2
 
 --S 3 of 6
 primrec:=primitiveElement([pol1,pol2],[x,z])$PrimitiveElement(FRAC(INT))
---R
---R   (3)
---R   [coef= [- 3,- 1],
---R
---R     poly =
---R            2   5     1   4    20  3    13   2   2431      91
---R       [- ---- ?  - ---- ?  - --- ?  - ---- ?  - ---- ? + ---,
---R          1293      7758      431      1293      3879     862
---R         2   5     1   4    60  3    13  2   1138     273
---R        --- ?  + ---- ?  + --- ?  + --- ?  + ---- ? - ---]
---R        431      2586      431      431      1293     862
---R     ,
---R           6      4     3       2
---R    prim= ?  + 27?  + 4?  + 243?  - 108? + 733]
---RType: Record(coef: List Integer,poly: List SparseUnivariatePolynomial 
Fraction Integer,prim: SparseUnivariatePolynomial Fraction Integer)
+--I
+--I   (3)
+--I   [coef= [- 3,- 1],
+--I
+--I     poly =
+--I            2   5     1   4    20  3    13   2   2431      91
+--I       [- ---- ?  - ---- ?  - --- ?  - ---- ?  - ---- ? + ---,
+--I          1293      7758      431      1293      3879     862
+--I         2   5     1   4    60  3    13  2   1138     273
+--I        --- ?  + ---- ?  + --- ?  + --- ?  + ---- ? - ---]
+--I        431      2586      431      431      1293     862
+--I     ,
+--I           6      4     3       2
+--I    prim= ?  + 27?  + 4?  + 243?  - 108? + 733]
+--IType: Record(coef: List Integer,poly: List SparseUnivariatePolynomial 
Fraction Integer,prim: SparseUnivariatePolynomial Fraction Integer)
 --E 3
 
 --S 4 of 6
 Ae:=SAE(FRAC(INT),SparseUnivariatePolynomial(FRAC(INT)),primrec.prim)
---R
---R   (4)
---R  SimpleAlgebraicExtension(Fraction Integer,SparseUnivariatePolynomial 
Fraction
---R   Integer,?**6+27*?**4+4*?**3+243*?*?+(-108*?)+733)
---R                                                                 Type: 
Domain
+--I
+--I   (4)
+--I  SimpleAlgebraicExtension(Fraction Integer,SparseUnivariatePolynomial 
Fraction
+--I   Integer,?**6+27*?**4+4*?**3+243*?*?+(-108*?)+733)
+--I                                                                 Type: 
Domain
 --E 4
 
 --S 5 of 6
 (primrec.poly.1::Ae)^2
 --R
 --R   (5)  - 1
---RType: SimpleAlgebraicExtension(Fraction Integer,SparseUnivariatePolynomial 
Fraction Integer,?**6+27*?**4+4*?**3+243*?*?+(-108*?)+733)
+--IType: SimpleAlgebraicExtension(Fraction Integer,SparseUnivariatePolynomial 
Fraction Integer,?**6+27*?**4+4*?**3+243*?*?+(-108*?)+733)
 --E 5
 
 --S 6 of 6
 (primrec.poly.2::Ae)^3
 --R
 --R   (6)  2
---RType: SimpleAlgebraicExtension(Fraction Integer,SparseUnivariatePolynomial 
Fraction Integer,?**6+27*?**4+4*?**3+243*?*?+(-108*?)+733)
+--IType: SimpleAlgebraicExtension(Fraction Integer,SparseUnivariatePolynomial 
Fraction Integer,?**6+27*?**4+4*?**3+243*?*?+(-108*?)+733)
 --E 6
 
 )spool