>> https://github.com/fricas/fricas/blob/master/src/algebra//sups.spad#L284 >> >> Shouldn't it rather be something like this? >> >> iOrder(st, n, refer) == >> explicitlyEmpty? st => n >> ... > > Yes, this is place to change, but the fix I commited needs > a second line.
Oh, you are right. But that again is an example where I would have preferred iOrder(st: ST, n: COM, refer: REF): I == ... that would have given me a quicker hint of the fact that n could be plusInfinity() or minusInfinity(). 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 [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.
