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 |
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
comment:2 Changed 8 years ago by
- Milestone changed from sage-5.11 to sage-5.12
comment:3 Changed 7 years ago by
- Milestone changed from sage-6.1 to sage-6.2
comment:4 Changed 7 years ago by
- Milestone changed from sage-6.2 to sage-6.3
comment:5 Changed 7 years ago by
- Milestone changed from sage-6.3 to sage-6.4
comment:6 Changed 6 years ago by
- Stopgaps set to todo
Note: See
TracTickets for help on using
tickets.
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.