Say I have polynomial aX^2+bY^2. How can I tell sage that in my field a^p=a, and b^p=b or few more constrains through my whole computation. I work in any field. I just want to put some constrains on coefficients and just keep them as the are.
This sounds like you want to work over the finite field F_p. We can't read your mind to determine what a "few more constraints" means. If not, you'll have to parametrize the coefficients with dummy variables and impose the constrains manually (i.e. work with the ideal generated by your polynomial and any extra constraints).
Asked: 12 years ago
Seen: 277 times
Last updated: Apr 28 '12
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
