Opened 10 years ago

Last modified 6 years ago

#10575 new defect

coercing multivariate poly's with repeated variable name shouldn't be allowed in some cases

Reported by: was Owned by: malb
Priority: major Milestone: sage-6.4
Component: commutative algebra Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps: todo

Status badges

Description

Magma and Sage let us do this: 

> R<x,x> := PolynomialRing(RationalField(),2);
> R.1*R.2;
x*x

sage: R.<x,x> = QQ[]

sage: f = R.0*R.1
sage: f
x*x
sage: magma(f)
x*x
sage: gp(f)
x^2
sage: pari(f)
x^2
sage: singular(f)
x^2

Change History (6)

comment:1 Changed 10 years ago by was

I think that gp(f) should raise an error, since gp can't represent a poly in two variables with the same name. Magma can fine.

comment:2 Changed 8 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:3 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:4 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:5 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4

comment:6 Changed 6 years ago by jakobkroeker

  • Stopgaps set to todo
Note: See TracTickets for help on using tickets.