On Tuesday, August 30, 2016 at 5:45:16 PM UTC+2, vdelecroix wrote: > > sage: x = SR.variable(domain = GF(3)) > sage: n = SR.variable(domain = ZZ) >
This is good design(TM). The usage however duplicates Sage's polynomial rings, so why burden calculus with that? The only other usage I can think of is in stating problems to be solved by a solver. But then it would be better to think of syntax that altogether avoids the mixing and the errors that occur with usage of such variables in polynomials--- which is better design(TM). Why not simply sage: solve(42*x == 12, (x, Zmod(90))) [Mod(11,90), Mod(26,90), Mod(41,90), Mod(56,90), Mod(71,90), Mod(86,90)] -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
