https://github.com/hemmecke/fricas/commit/e68b728e0a5d7491e07f4a45db82e5cf2acf02cd
Ralf, after your commit tests in 'ideal.input.pamphlet' fail.
That's annoying, but that this failure is due to the evaluation of types
that happens in the interpreter.
Explicit package calling can resolve the problem. It's annoying, though
and I don't know exactly what the best short term solution is.
I tend to blame the interpreter for not being able to resolve (evaluate)
types in order check that the input type of
primaryDecomp$IdealDecompositionPackage([x,y,z]) matches the type of ide
only after the functions that appear in the type have been evaluated.
I think that is exactly the trap that can happen if functions are
allowed in types.
Ralf
(1) -> )version
Value = "FriCAS f1c11f524fc460d47e99d77b484e922c75bfe5d1 compiled at
Wednesday February 8, 2012 at 21:44:34 "
(1) -> l: List DMP([x,y,z],FRAC INT)
Type: Void
(2) -> l:=[x^2+2*y^2,x*z^2-y*z,z^2-4]
2 2 2 2
(2) [x + 2y ,x z - y z,z - 4]
Type:
List(DistributedMultivariatePolynomial([x,y,z],Fraction(Integer)))
(3) -> ide := ideal l
2 2 2 2
(3) [x + 2y ,x z - y z,z - 4]
Type:
PolynomialIdeal(Fraction(Integer),DirectProduct(3,NonNegativeInteger),OrderedVariableList([x,y,z]),DistributedMultivariatePolynomial([x,y,z],Fraction(Integer)))
(4) -> ld := primaryDecomp(ide)$IdealDecompositionPackage([x,y,z])
1 2 1 2
(4) [[x + - y,y ,z + 2],[x - - y,y ,z - 2]]
2 2
Type:
List(PolynomialIdeal(Fraction(Integer),DirectProduct(3,NonNegativeInteger),OrderedVariableList([x,y,z]),DistributedMultivariatePolynomial([x,y,z],Fraction(Integer))))
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
