Just quick remark: in similar situations I used a helper
package, like:
)abbrev package OTNHELP OneToNHelper
OneToNHelper : with
mklist : PositiveInteger -> List(PositiveInteger)
== add
mklist(n) == [i :: PositiveInteger for i in 1..n]$List(PositiveInteger)
Than in OneToN:
private ==> FiniteSet(PositiveInteger, mklist(n)$OneToNHelper) add
This seems to work around the problem.
--
Waldek Hebisch
--
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.
