#16261: Default behaviour of AdditiveAbelianGroup(a_tuple)
-------------------------+-------------------------------------------------
Reporter: | Owner:
ncohen | Status: needs_review
Type: | Milestone: sage-6.2
enhancement | Resolution:
Priority: major | Merged in:
Component: group | Reviewers:
theory | Work issues:
Keywords: | Commit:
Authors: | 5d78cfc86f64819c0427941c882015dd2e3df73e
Nathann Cohen | Stopgaps:
Report Upstream: N/A |
Branch: |
u/ncohen/16261 |
Dependencies: |
-------------------------+-------------------------------------------------
Comment (by ncohen):
Yoooooooooooo !
> If you're going to allow abelian groups to be specified in forms
different from smith normal form, I think it's a little strange to just
limit to these "diagonal" forms. In general, you specify a finitely
generated abelian group using generators and relations, i.e., `ZZ^r`
modulo some submodule. Since the underlying machinery is that of ZZ-
modules anyway, why not do it properly?
Ahahaah. Very simple : I have no idea how. I already said that I didn't
feel at ease editing group code, so if you want anything more general than
what is in the branch, I'm sorry to say that you will have to write the
code yourself `:-)`
And I agree with you that more bases should be allowed indeed.
Oh, and if you have any idea of how to make Sage see {{{G =
GF(8,'x').cartesian_product(GF(5))}}} as a group, it would be cool by the
way.
{{{
sage: G([1,1])+G([1,1])
TypeError: unsupported operand type(s) for +:
'CartesianProduct_with_category.element_class' and
'CartesianProduct_with_category.element_class'
}}}
God.. These things are SO broken :
{{{
sage: list(G)
AttributeError: 'CartesianProduct_with_category' object has no attribute
'list'
}}}
Perhaps this is the problem :
{{{
sage: g=GF(8,'x')
sage: g.category()
Category of finite fields
sage: gg=g.cartesian_product(g)
sage: gg.category()
Category of Cartesian products of monoids
}}}
This {{{gg}}} should be a product of groups I guess...
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/16261#comment:16>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
