On Mon, May 13, 2024 at 08:23:20AM +0800, Qian Yun wrote: > The *.daase generated on linux and windows are *exactly* the same > (except for the timestamp, of course).
Thanks, so that was bad guess. > The corresponding fricas0 changes is here, is this expected? > > https://github.com/oldk1331/fricas0-repo/commit/74b1193cfcf2f33909f8bad55785c14cf9e02cd8.patch Yes. AFAICS there is the same info, just put is somewhat different order (which is expected with change of order predicate). > BTW, can you explain a bit more about the thoughts behind > this commit? Is GGREATERP in Fractored next step? Yes. In my developement tree Factored works without using Lisp order (I added extra code to handle unordered domains). After that GGREATERP will be unused an can be removed. Goal of this is to have simpler and sound code: the ordering functions had irreqularities so they actually failed definiton of order. GGREATERP in principle depends on internals of Lisp implementation. AFAICS 'lt_sexp' is actually an order and it refuses to handle anything potentially problematic. Change to ordering predicate also leads to change in output of ')show'. I view this as good change: prevous order had tendency to put more complex signatures first, current prefers simpler ones first. I consider anything depending on details of previous ordering functions as a potential bug, in particular type checking should not depend on details of order. It depends on order in various places being the same, but using single order reduces possibility of accidentally using different orders. So, each change has risk of breaking something, but I think that once we work out accidental breakage we will have cleaner and more robust code. -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/ZkFyPBoz-2qAHAtL%40fricas.org.
