I think the error is due to a disagreement on how enumerations are handled - in aldor they are integers, but in the spad world they look to be strings (this is a bit of a guess, just looking at the error above). I've not really looked at how the interop code works in this case, but I expect that fixing it is non-trivial.
The partial type would probably make a few things clearer in the spad world, but no idea how far reaching a change that would work out to be. Peter On 25 March 2015 at 15:24, Ralf Hemmecke <[email protected]> wrote: > 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.
