Ticket #6366 (new defect)

Opened 4 years ago

Last modified 4 years ago

lift method on elements of residue class field is broken / not implemented as it should be

Reported by: was Owned by: davidloeffler
Priority: major Milestone: sage-5.10
Component: number fields Keywords:
Cc: Work issues:
Report Upstream: Reviewers:
Authors: Merged in:
Dependencies: Stopgaps:

Description 

sage: K.<a> = NumberField(x^2 + 3)
sage: P = K.factor(5)[0][0]; P
Fractional ideal (5)
sage: F = P.residue_field()
sage: z = F.gen() + 2; z
abar + 2
sage: F.lift(z)
6*a + 2
sage: z.lift()
Traceback (most recent call last):
...
AttributeError: 'sage.rings.finite_field_givaro.FiniteField_givaroE' object has no attribute 'lift'

Change History

comment:1 Changed 4 years ago by davidloeffler

  • Owner changed from was to davidloeffler
  • Component changed from number theory to number fields
Note: See TracTickets for help on using tickets.