I think the bug happens here: DisjunctiveNormalForm(vl: List Symbol) : public == private where EV ==> PRestrictedInteger(2) E ==> TermDisjunctiveNormalForm(#vl)
I think the "#vl" is a runtime value and compiler can't handle that, change it to: DisjunctiveNormalForm(vl: List Symbol, dim : NonNegativeInteger) : public == private where EV ==> PRestrictedInteger(2) E ==> TermDisjunctiveNormalForm(dim) And in test file use "D3:=DisjunctiveNormalForm(vl, #vl)". Then this bug disappears and runs into a missing implementation. d : D3 := monomial(1,t) Function: ?.? : (%, Integer) -> PRestrictedInteger(2) is missing from domain: TermDisjunctiveNormalForm(3) Internal Error The function elt with signature (PRestrictedInteger 2)$(Integer) is missing from domain TermDisjunctiveNormalForm3 -- 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.
