Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Forbid coercing multivariate polynomials with repeated variable name in some cases #10575

Closed
williamstein opened this issue Jan 9, 2011 · 5 comments
Closed

Forbid coercing multivariate polynomials with repeated variable name in some cases #10575

williamstein opened this issue Jan 9, 2011 · 5 comments
Assignees
@malb
Labels
c: commutative algebra r: invalid t: bug

Comments

@williamstein
Copy link
Contributor

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

Component: commutative algebra

Stopgaps: todo

Reviewer: Lorenz Panny, Samuel Lelièvre

Issue created by migration from https://trac.sagemath.org/ticket/10575
@williamstein williamstein added this to the sage-5.11 milestone Jan 9, 2011
@williamstein
Copy link
Contributor Author

comment:1

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.

@jdemeyer jdemeyer modified the milestones: sage-5.11, sage-5.12 Aug 13, 2013
@sagetrac-vbraun-spam sagetrac-vbraun-spam mannequin modified the milestones: sage-6.1, sage-6.2 Jan 30, 2014
@sagetrac-vbraun-spam sagetrac-vbraun-spam mannequin modified the milestones: sage-6.2, sage-6.3 May 6, 2014
@sagetrac-vbraun-spam sagetrac-vbraun-spam mannequin modified the milestones: sage-6.3, sage-6.4 Aug 10, 2014
@sagetrac-jakobkroeker
Copy link
Mannequin

sagetrac-jakobkroeker mannequin commented Aug 25, 2015

Stopgaps: todo

@yyyyx4
Copy link
Member

yyyyx4 commented Aug 13, 2021

comment:7

Looks like R.<x,x> = QQ[] started throwing an error in normalize_names at some point during the past 10 years. I think this can be closed.

@yyyyx4 yyyyx4 removed this from the sage-6.4 milestone Aug 13, 2021
@slel
Copy link
Member

slel commented Aug 19, 2021

comment:8

Ok.

@slel
Copy link
Member

slel commented Aug 19, 2021

Reviewer: Lorenz Panny, Samuel Lelièvre

@slel slel changed the title coercing multivariate poly's with repeated variable name shouldn't be allowed in some cases Forbid coercing multivariate polynomials with repeated variable name in some cases Aug 19, 2021
@mkoeppe mkoeppe closed this as completed Aug 26, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@malb malb

Labels
c: commutative algebra r: invalid t: bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
6 participants
@williamstein @malb @slel @jdemeyer @mkoeppe @yyyyx4