Using your code and doing:
s := ((5..14) by 5)@UniversalSegment(Integer)
elt(l, s)
I get expected result. So your code seem to be working OK.
Well, not yet. There are negative stepsizes.
AFAICS 'coerce' between Segment and UniversalSegment
drops increment:
coerce(sg : Segment S) : % == segment(low(sg), high(sg))
Probably should just write:
coerce(sg : Segment S) : % == sg
Oh... thank you. I haven't even realized that u was not of type
UniversalSegment.
Yes, we should definitely redefine that coercion function in a separate
commit. I hope it will not have some effect elsewhere.
Ralf
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/40471a74-a05b-1aa5-bcd5-c43865d8c912%40hemmecke.org.
