On Sat, Feb 08, 2025 at 08:52:19PM -0500, Camm Maguire wrote:
> Greetings! Might you be able to suggest what could cause the difference
> between these two compile outputs?
First guess is change to ordering predicate. Spad compiler
is supposed to do top-down recursive search to resolve
overloads. Basically all aspects of this depend on order:
available signatures are tried in order, conditions on
signatures are tried in order, etc. In particular categories
are loaded to evaluate conditions. Success normally terminates
search, so what is loaded depends on order.
IIUC you are compiling Axiom and Axiom build procedure in 2006
(and probably now too) used experimentaly determined order
(layers) to satisfy load dependencies (there were collection of
domains to break cycles). If you change ordering used by Spad
compiler load dependencies may change.
--
Waldek Hebisch
--
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/Z6ggSbMheid9wY-m%40fricas.org.
