Revision history [back]

I want Sage to solve equations in Zmod(n) for a fixed n. To state the equations i declare variables with var, so they are in SR instead of Zmod(n). The domain keyword only allows a small set of possible domains (as strings). Is there a way to declare the type of a variable besides the domain parameter?