|   Product(1..9,1..4)
What would be its meaning?

If '1..9' and '1..4' are domains then the meaning of 'Product' is
already given by the existing domain constructor 'Product' in the
Axiom library

Seems OK, but, of course the _domain_ 1..9 is then inappropriate in a construction like

  for i in 1..9 repeat ...

don't you agree?

Ralf


_______________________________________________
Axiom-math mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-math

Reply via email to