#8500: Add the set of TransitiveGroups
---------------------------------+------------------------------------------
Reporter: nborie | Owner: nborie
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.4
Component: group_theory | Keywords: transitive groups
Author: Nicolas Borie | Upstream: N/A
Reviewer: Nicolas M. Thiéry | Merged:
Work_issues: |
---------------------------------+------------------------------------------
Changes (by jhpalmieri):
* status: positive_review => needs_work
Comment:
If I apply "trac_8500_transitive_groups-final.patch" on top of 4.4.alpha1,
all tests pass. If I instead apply the patch from #8549, all tests pass.
If I apply ''both'' patches, though, then on my Mac (OS X 10.6.3), I get a
doctest failure:
{{{
sage -t -long
"devel/sage/sage/schemes/hyperelliptic_curves/hyperelliptic_finite_field.py"
**********************************************************************
File
"/Applications/sage_builds/sage-4.4.alpha1/devel/sage/sage/schemes/hyperelliptic_curves/hyperelliptic_finite_field.py",
line 315:
sage: len(C.points())
Exception raised:
Traceback (most recent call last):
File
"/Applications/sage_builds/sage-4.4.alpha1/local/bin/ncadoctest.py", line
1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File
"/Applications/sage_builds/sage-4.4.alpha1/local/bin/sagedoctest.py", line
38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File
"/Applications/sage_builds/sage-4.4.alpha1/local/bin/ncadoctest.py", line
1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_6[7]>", line 1, in <module>
len(C.points())###line 315:
sage: len(C.points())
File "/Applications/sage_builds/sage-4.4.alpha1/local/lib/python
/site-
packages/sage/schemes/hyperelliptic_curves/hyperelliptic_finite_field.py",
line 327, in points
self.__points = self._points_fast_sqrt() # this is fast using Zech
logarithms
File "/Applications/sage_builds/sage-4.4.alpha1/local/lib/python
/site-
packages/sage/schemes/hyperelliptic_curves/hyperelliptic_finite_field.py",
line 239, in _points_fast_sqrt
points.append(self.point([x, v+sqrtD, one], check=True))
File "/Applications/sage_builds/sage-4.4.alpha1/local/lib/python
/site-packages/sage/schemes/generic/scheme.py", line 256, in point
return self._point_class(self, v, check=check)
File "/Applications/sage_builds/sage-4.4.alpha1/local/lib/python
/site-packages/sage/schemes/generic/algebraic_scheme.py", line 196, in
_point_class
return self.__A._point_class(*args, **kwds)
File "/Applications/sage_builds/sage-4.4.alpha1/local/lib/python
/site-packages/sage/schemes/generic/projective_space.py", line 535, in
_point_class
return morphism.SchemeMorphism_projective_coordinates_field(*args,
**kwds)
File "/Applications/sage_builds/sage-4.4.alpha1/local/lib/python
/site-packages/sage/schemes/generic/morphism.py", line 608, in __init__
X.codomain()._check_satisfies_equations(v)
File "/Applications/sage_builds/sage-4.4.alpha1/local/lib/python
/site-packages/sage/schemes/generic/algebraic_scheme.py", line 465, in
_check_satisfies_equations
raise TypeError, "Coordinates %s do not define a point on
%s"%(list(v),self)
TypeError: Coordinates [7*a + 9, 2*a + 2, 1] do not define a point on
Hyperelliptic Curve over Finite Field in a of size 11^2 defined by y^2 +
(x^2 + 2)*y = x^5 + x + 10
**********************************************************************
1 items had failures:
1 of 8 in __main__.example_6
***Test Failed*** 1 failures.
For whitespace errors, see the file
/Users/palmieri/.sage//tmp/.doctest_hyperelliptic_finite_field.py
[8.2 s]
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8500#comment:17>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
