If you seriously study ordinal arithmetic you almost immediatly arrive to natural operations. Technically, natural operations allow easy implementation and "ordered" operations require extra work (using natural ones).
I am not criticising the implementation. Of course internally ordinary polynomial addition and multiplication might be quite useful. I only question the fact that you *export* these "natural" operations.
If you do not agree then define category for "near rings" and define new domain uses SmallOrdinal as Rep and renames operations.
I've put that on my todo list. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
