#7545: Gaussian Integers
-------------------------------------------------+-------------------------
Reporter: wuthrich | Owner:
Type: enhancement | davidloeffler
Priority: minor | Status:
Component: number fields | needs_info
Keywords: gaussian integers, Z[i], | Milestone: sage-
quadratic number ring | wishlist
Authors: | Resolution:
Report Upstream: N/A | Merged in:
Branch: | Reviewers:
Dependencies: | Work issues:
| Commit:
| Stopgaps:
-------------------------------------------------+-------------------------
Comment (by kcrisman):
> I do agree with just defining the name GaussianIntegers to be a synonym
of NumberField(x^2+1, 'I').ring_of_integers().
Some stuff already works with this. However, it is definitely
insufficient.
* I can't figure out how to get something prime (I can get the
factorization and whether it's a unit, but that's not the same thing).
* What is this?
{{{
sage: GaussianIntegers([199,0]).quo_rem(GaussianIntegers([100,0]))
(199/100, 0)
}}}
* There is no `gcd` implemented either.
So I don't think it could just be a synonym, but would it be possible to
only slightly extend the class, maybe? I would be, as mentioned before,
very motivated to review something like this, not sure if just adapting
the current patch (well, the stuff that is missing) to just extend the
current thing is possible or the way to go.
--
Ticket URL: <http://trac.sagemath.org/ticket/7545#comment:13>
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.
