On 5/4/24 12:43, Grégory Vanuxem wrote:
Hello, I have found 'devaluate' in some Spad files and it can be handy. Some domains are parameterized and it is not possible, or at least I don't know how to do it, to use ' is ' instead of ' has ' (Domain vs. Category) for them: if R is Foo then new(n) == bar(n) else new... it is not possible to use: if Foo(p) then Or like #1 in "SubDomain(Integer, #1 >= 0)" used for NonNegativeInteger?
I'm not sure I understand your problem 100%, are you looking for something like PrimeField in ffdoms.spad? if not prime?(p)$IntegerPrimesPackage(Integer) then Also it's difficult to know your problem with 'devaluate' in your code snippet. Is there a minimal reproducible example? - Qian -- 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 fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/81462d8e-17a9-4d2f-8589-e3b76c049f39%40gmail.com.