Opened 4 years ago
Closed 4 years ago
#27685 closed defect (fixed)
test for containment in ideals of infinite orders
Reported by:  ghBrentBaccala  Owned by:  

Priority:  minor  Milestone:  sage8.8 
Component:  algebra  Keywords:  function fields 
Cc:  Merged in:  
Authors:  Brent Baccala  Reviewers:  Travis Scrimshaw 
Report Upstream:  N/A  Work issues:  
Branch:  c381796 (Commits, GitHub, GitLab)  Commit:  c3817961a1e444c5666ba7d8eb9e99174d46b769 
Dependencies:  Stopgaps: 
Description
In the current function field code, ideals of infinite orders do not support containment testing:
sage: K.<x> = FunctionField(GF(3^2)); R.<t> = K[] sage: F.<y> = K.extension(t^3 + t^2  x^4) sage: Oinf = F.maximal_order_infinite() sage: I = Oinf.ideal(1/y) sage: 1/y in I  TypeError Traceback (most recent call last) <ipythoninput19a3f98a86502f> in <module>() > 1 Integer(1)/y in I TypeError: argument of type 'IdealMonoid_with_category.element_class' is not iterable
Ideals of finite orders do support such tests:
sage: O = F.maximal_order() sage: I = O.ideal(y) sage: y in I True
Change History (7)
comment:1 Changed 4 years ago by
Authors:  → Brent Baccala 

Branch:  → public/27685 
Commit:  → 14762e78ce8cb20a3ab0f55b054ea6077c876bc9 
Status:  new → needs_review 
comment:2 Changed 4 years ago by
Commit:  14762e78ce8cb20a3ab0f55b054ea6077c876bc9 → d1bfb3a8b8c29a085d3549341346ec296fe9588d 

Branch pushed to git repo; I updated commit sha1. New commits:
d1bfb3a  Merge tag '8.8.beta5' into public/27685

comment:3 Changed 4 years ago by
Reviewers:  → Travis Scrimshaw 

Status:  needs_review → positive_review 
LGTM.
comment:5 Changed 4 years ago by
Commit:  d1bfb3a8b8c29a085d3549341346ec296fe9588d → c3817961a1e444c5666ba7d8eb9e99174d46b769 

Branch pushed to git repo; I updated commit sha1. New commits:
c381796  Merge branch 'public/27685' of git://trac.sagemath.org/sage into public/27685

comment:7 Changed 4 years ago by
Branch:  public/27685 → c3817961a1e444c5666ba7d8eb9e99174d46b769 

Resolution:  → fixed 
Status:  positive_review → closed 
Note: See
TracTickets for help on using
tickets.
New commits:
Trac #27685: add __contains__ methods to ideals of infinite orders