Opened 10 years ago
Closed 8 years ago
#11843 closed defect (worksforme)
Bug in trivial abelian group
Reported by: | wuthrich | Owned by: | joyner |
---|---|---|---|
Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
Component: | group theory | Keywords: | S-class group, trivial abelian group |
Cc: | Merged in: | ||
Authors: | Reviewers: | Chris Wuthrich | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
The following code
K.<t> = NumberField(x^2+17) I = K.ideal(3,t+1) S = K.primes_above(11) A = K.S_class_group(S) A(I)
produces the error
TypeError: unsupported operand parent(s) for '*': 'Ambient free module of rank 1 over the principal ideal domain Integer Ring' and 'Full MatrixSpace of 0 by 0 dense matrices over Integer Ring'
The same error can be obtained by
A.identity()
The problem seems to arise only when the abelian group is trivial.
I imagine this is not a problem of the class group implementation, but one of (trivial) abelian group.
Change History (4)
comment:1 Changed 8 years ago by
- Status changed from new to needs_review
comment:2 Changed 8 years ago by
- Status changed from needs_review to positive_review
... and then to positive_review). Sorry if I do the wrong thing. In any case the ticket can be closed without further action.
comment:3 Changed 8 years ago by
- Milestone changed from sage-5.10 to sage-duplicate/invalid/wontfix
- Reviewers set to Chris Wuthrich
comment:4 Changed 8 years ago by
- Resolution set to worksforme
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
This is no longer a problem in 5.9. This ticket can be closed now:
(Sorry that I can't remember what to do with a ticket like this. I just put it to need_review ...