Just compare ')show List' and ')show List Type', they have the same amount of operations, but clearly this is wrong: List Type doesn't satisfy most predicates in List.
This can be seen from source code: https://github.com/fricas/fricas/blob/master/src/interp/i-syscmd.boot#L2271 sigList:= REMDUP MSORT getOplistForConstructorForm unitForm say2PerLine [formatOperation(x,unit) for x in sigList] formatOperation doesn't check predicates at all: https://github.com/fricas/fricas/blob/master/src/interp/format.boot#L218 But in hypertex, the operation list of a domain is correct in "Browse". https://github.com/fricas/fricas/blob/master/src/interp/br-op1.boot#L914 I think it's because getDomainOpTable calls evalDomainOpPred which seems to do the predicates checking. (but seems hypertex doesn't call evalDomainOpPred during operations printing?) The argument for evalDomainOpPred is complicated ( htpProperty(htPage,'domname) ), I don't know how to fix this problem further. -- 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.
