Page, Bill writes: > I think there are two possible bug reports here: > > 1) Union ( list of alternatives that are coercible to some ring ) > should be a RING
No. For example: U := Union(MPOLY([x,y],INT), PF 5); x: U := 2*x; y: U := 3; x+y does not make much sense. And asking the system to see whether there is a common supertype is asking for quite a lot and is probably error prone. > 2) display of TwoDimensionalArray of type Union(...) is not properly > formatted Yes. Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
