Hi Peter, Just out of curiosity, I don't really need a treatment for the following problem.
The attached program compiles fine and it seems that foo also works great. However, bar is not really working for the "failed" case. Am I right that this is simply due to the fact that FriCAS has no 'Enumeration' in U ==> Union(value1: V, failed: Enumeration(failed: Type)); and thus doesn't know what to do with the result? I somehow get the feeling that FriCAS should introduce something like Partial in Aldor instead of this funny type Union(X,"failed"). https://github.com/pippijn/aldor/blob/master/aldor/lib/aldor/src/base/sal_partial.as#L46 Ralf (1) -> R==>Integer Type: Void (2) -> V==>OrderedVariableList(['x,'y]) Type: Void (3) -> P==> SparseMultivariatePolynomial(R, V) Type: Void (4) -> x: P := 'x::P (19) -> bar x (19) x Type: Union(value1: OrderedVariableList([x,y]),...) (19) -> bar(0$P) >> System error: The value "failed" is not of type SB-INT:INDEX. -- 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 http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
foo.as
Description: application/applix-spreadsheet
