Hi Peter, hi Waldek, Taking some content of a private mail from Peter that concerns the same topic of this thread...
On 10/01/2018 09:51 PM, Peter Broadbery wrote: > Taken a slightly closer look to remind myself - see for example the > file index.KAF in build/src/algebra/PSCAT.NRLIB - the function '-' > (ie. negate) has a condition > consisting of both "|and|" and "AND". There's no occurrences of > '|not|' or '|or|', but it doesn't seem impossible that they could be > generated. ")sh PSCAT" shows something similar - 'and' appears as both > a function and a logical operation. Interesting... index.KAF and )sh PSCAT show indeed quite some complicated expression for unary "-". I wonder why my api.spad still is able to simplify to true, i.e. no condition here http://fricas.github.io/api/PowerSeriesCategory for unary "-". I must dig deeper, but my first impression is that api.spad collects all signatures for a category recursively via GETDATABASE(x, 'CONSTRUCTORCATEGORY) There seems to be only something of the form (IF (has $ (VariablesCommuteWithCoefficients)) (IF (has t#1 (IntegralDomain)) (ATTRIBUTE (IntegralDomain)) noBranch) noBranch) returned from such a call. No AND or |and|. Obviously FriCAS constructs the conditions for index.KAF or )sh PSCAT in a different way and seemingly inconsistently. 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
