Hi,
I just wanted to report that the fricas-aldor interface compilation
fails with trunk at the moment.
The reason is most probably in bezout.spad
if R has CommutativeRing then
subresultants : (UP, UP) -> IndexedVector(UP, 0)
Somehow the corresponding lines in the generated .ap file are
(|If| (|Test| (|Has| |#1| |CommutativeRing|))
(|Sequence|
(|Declare| |subresultants|
(|Apply| -> (|Comma| |#2| |#2|)
(|Apply| |IndexedVector|
(|PretendTo| |#2|
(|Apply| |UnivariatePolynomialCategory|
(|PretendTo| |#1|
(|With| (|Apply| |Join| |CommutativeRing| |Ring|)
NIL))))
(|RestrictTo| (|LitInteger| "0") |PositiveInteger|))))
And the Aldor compiler then reports
#1 (Error) Argument 2 of `IndexedVector' did not match any possible
parameter type.
The rejected type is PositiveInteger.
Expected type Integer.
I don't yet have an idea why some program thinks it must convert the
literal 0 into PositiveInteger instead of Integer, because IndexedVector
is clearly defined with second argument being of type Integer.
I cannot currently dig deeper, but will as soon as I find time.
Ralf
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
