Thanks for the testcase. There was missing transformation, before
main compile in effect your program was transformed into a wrong form
(not handled by the rest of compiler). The following worked:
if C has OrderedRing and C has Field then -- OK
Early transformation was supposed to transform your Join into 'and'
above. However, the 'and' was supposed to be transformed in turn
into:
if C has OrderedRing then if C has Field then -- OK
and this transformation happended when 'and' was explicit in the
source, but did not happen with generated 'and'. Fixed now
Than you for the fix. Will recompile soon.
Just an addon question. Are you saying that
if C has Join(A, B)
and
if C has A and C has B
always end up internally as
if C has A then if C has B then ...
? Sounds reasonable, but just for curiousity.
The problem actually occured, because I was looking for "OrderedField",
could not find it and so replaced it with a Join(OrderedRing, Field).
It's not totally important, but perhaps it would also make sense to
introduce "OrderedField" even though that would be a rather trivial addon.
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/22860aff-1608-4c63-8585-11fa103a05df%40hemmecke.org.
