Re: [fricas-devel] Conditional exports in some types
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 fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
[fricas-devel] Conditional exports in some types
Hi, I've been looking at the aldor interface (again), and found there's a few categories in fricas with what appears to be an incorrect condition on some exports For example, conditionP in POLYCAT has the following condition: conditionP : Matrix(%) -> Union(Vector(%),"failed") if and(has($,CharacteristicNonZero),has(R,PolynomialFactorizationExplicit)) I'd expect 'AND' to be an infix operator as normal. Obviously it's not causing much of a problem as the workaround is trivial, but seems to imply that there's some simplification missing (or 'and' is not being mapped to 'AND' in this case). Two other categories have similar exports, DIRPCAT and PSCAT. Peter -- 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 post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
