I wonder why we need a copy of the data structure for "terms" but not
for "listOfTerms". The specification unfortunately says nothing about
what the expected behaviour shoulld be. A copy is certainly safer, but
do we really need/want it?
Anyway, the docstring for "terms" claims "This is the internal
representation.". But it actually is a copy of it.
I also do not see why the implementation of "listOfTerms" appears under
the "if M has Comparable then ..." condition. Is it just because its
doctrics says something about "construct(listOfTerms x)=x" and
"construct" involves "smaller?" ?
Ralf
https://github.com/fricas/fricas/blob/master/src/algebra/mring.spad#L125
https://github.com/fricas/fricas/blob/master/src/algebra/mring.spad#L205
--
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 visit
https://groups.google.com/d/msgid/fricas-devel/c19a07d6-2d3e-42ba-b7c7-0519049cd22c%40hemmecke.org.
