> Segment(NonNegativeIntger) makes sense, but NonNegativeIntger > is not a ring, so we can not require OrderedRing.
The interesting thing for Segment(S) is "expand", and in interpreter, S has to be Integer: (1) -> [x for x in 1.2 .. 3.4] The lower bound in a loop must be an integer. And for NNI, the "expand" is through Integer: expand(1..3)$Segment NNI -- fails expand(1..3) -- returns List(Integer), not List NNI Yes, the requirement of OrderedRing is a bit too much, what is really required is the ability to add an integer and compare. The only way to make Segment NNI meaningful is to have a new domain that only allows to increase, but that's not useful. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
