I wrote:
>
> Note that internally a Segment always has an _integer_ increment.
> So, to be sure that expand succeds you need to make sure that
> there is a coercion from Integer to the base type. I am not
> sure if in practice this gives more generality than just
> requesting OrderedRing -- at least there is no coercion from
> Integer to PositiveInteger.
>
> I am affraid that to fix this one has to reorganize Segment
> quite a bit:
>
> - require that argument is a join of OrderedAbelianSemigroup
> and Monoid (to have 1)
> - change increment to be of the same type as base
> - update algebra, interpreter and Spad compiler to cope with
> non-integer increments.
I looked a bit more at this and ATM I doubt that reorganizing
Segment is a good idea. Basically, there assumption that
increment is an integer is used in several places. Simply
getting rid of this assumption would reduce functionality.
Since Segment is part of interface between interpreter
and algebra beside changing algebra one would have to
adjust interpreter. So changing Segment without causing
serious breakage looks tricky and benefits from change
are not clear.
--
Waldek Hebisch
[email protected]
--
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 http://groups.google.com/group/fricas-devel?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
