sagemath / sage

Main repository of SageMath

https://www.sagemath.org

Other

1.33k stars 453 forks source link

non uniform behavior of powers for polynomials #20666

Open videlec opened 8 years ago

videlec commented 8 years ago

In #20086 a nth_root method was proposed to be able to take fractional powers of polynomials. Though this was not implemented for all polynomial rings. On sage-7.3.beta0 we have

sage: x = polygen(ZZ)
sage: (x**2)**(1/2)
x
sage: x = polygen(GF(4))
sage: (x**2)**(1/2)
Traceback (most recent call last):
...
TypeError: Only integral powers defined.

Depends on #22329

CC: @behackl

Component: algebra

Issue created by migration from https://trac.sagemath.org/ticket/20666

cheuberg commented 7 years ago

comment:1

22329 handles the multivariate case.

cheuberg commented 7 years ago

Dependencies: #22329