I faced with a problem with polynomial mod
This is example from manual: mod?
sage: R.x = QQ['x'];
sage: f = x^3 + x + 1
sage: f.mod(x + 1)
Result is -1
But changing from field QQ to ring ZZ causes mod to do nothing:
sage: R.x = ZZ['x'];
sage: f = x^3 + x + 1
sage: f.mod(x + 1)
Result is x^3 + x
This at least documented:
sage: R.x=ZZ[]
sage: f = x^3+x+1
sage: f.mod?
...
When little is implemented about a given ring, then mod may
return
simply return f. For example, reduction is not implemented for
ZZ[x] yet. (TODO!)
sage: R.x = PolynomialRing(ZZ)
sage: f
Thanks for the suggestion. It turned out (for a rather convoluted
reason) that the program that I thought I'd be running didn't exist.
My bad :-).
Victor
On Apr 22, 2:58 pm, Jason Grout jason-s...@creativetrax.com wrote:
On 04/22/2010 12:18 PM, VictorMiller wrote:
I tried using sage
On Tue, 27 Apr 2010 21:11:58 -0700, Ursula Whitcher urs...@math.hmc.edu wrote:
I'm playing with a family of plane curves with rational coefficients in
the complex projective plane. So rational or complex numbers would be
enough for me to test examples. In a perfect world I'd be able to
Is it possible to do the following: have SAGE be a server so that when
someone goes to a particular URL that they'll attach to SAGE only
running a particular worksheet (which would probably have @interactive
stuff)? If so, how would I do it?
Victor
PS. What I'd like to do is to have a server
On Apr 28, 12:11 am, Ursula Whitcher urs...@math.hmc.edu wrote:
I'm playing with a family of plane curves with rational coefficients in
the complex projective plane. So rational or complex numbers would be
enough for me to test examples. In a perfect world I'd be able to
specify a family
Thanks, I was just being stupid.
John
On Apr 27, 9:19 pm, William Stein wst...@gmail.com wrote:
On Tue, Apr 27, 2010 at 12:04 PM, John Cremona john.crem...@gmail.com wrote:
Thanks for *not* complaining about the multiplicative in Torsion
Subgroup isomorphic to Multiplicative Abelian
Hi!
Let R,S be rings and f:R--S be a ring homomorphism. If R,S are base
rings of, e.g., matrix rings or polynomial rings, shouldn't it be
possible to construct the homomorphism of the bigger rings induced
by f? But how?
For example,
sage: R.x = QQ[]
sage: MS = MatrixSpace(R,2,2)
sage: P.y =
Hi William,
Sage 4.4. is out.
What file do I have to download in order to use it with Vmware player
3.01 and Windows 7 64b?
Currently I use Sage 4.1
Thank in advance for your swift reply. Roland
On 27 apr, 07:04, William Stein wst...@gmail.com wrote:
On Fri, Apr 16, 2010 at 3:01 AM, NCP
