RE: [Axiom-developer] Axiom Design Question / Polymake feedback

[Martin Rubey]

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