I will look into the issue tonight and over the weekend as well.
I have come across a simlar issue in trying to get the algebra to
build with gclcvs-2.7.0.
In this case, the problem is in polycat.spad, FiniteAbelianMonoidRing,
around line 170. We have:
if R has IntegralDomain then
x exquo r ==
-- probably not a very good definition in most special cases
zero? x => 0
ans:% :=0
t:=leadingCoefficient x exquo r
while not (t case "failed") and not zero? x repeat
ans:=ans+monomial(t::R,degree x)
x:=reductum x
if not zero? x then t:=leadingCoefficient x exquo r
t case "failed" => "failed"
ans
The compiler seems to fail in resolving the coercion of t to R in the
line:
ans:=ans+monomial(t::R,degree x)
Giving t an explicit type `solves' the problem:
t:=leadingCoefficient x exquo r
==>
t : Union(R, "failed") := leadingCoefficient x exquo r
Take care,
Steve
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
