#14014: Update matrix groups to new Parents, libGAP.
--------------------------------------------------+-------------------------
Reporter: vbraun | Owner: joyner
Type: enhancement | Status:
positive_review
Priority: major | Milestone: sage-5.11
Component: group theory | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers: Travis
Scrimshaw
Authors: Volker Braun | Merged in:
Dependencies: #14187, #14323, #14284, #14640 | Stopgaps:
--------------------------------------------------+-------------------------
Comment (by slabbe):
Replying to [comment:34 vbraun]:
> Only very few are non-trivial (like the quantumino one)
I checked the patch fixing non-trivial doctest for the quantumino code,
and it is ok. The ordering of the matrices changed the ordering of rotated
copies of polyominos, which changed the ordering of the rows passed to the
dlx solver, which explains the doctest update for the list of rows indices
(a solution is given as a subset of rows).
>, and there the corresponding Sage module already does checks. Has
anybody ever verified by hand that the quantumino puzzle has 5484 distinct
solutions?
The related doctest is the following one :
{{{
sage: q = QuantuminoSolver(0)
sage: T = q.tiling_solver()
sage: rows = T.rows() # not tested (10 s)
sage: len(rows) # not tested (but
fast)
5484
}}}
This is not the number of solutions. 5484 is the number of rows (of a
matrix) given to the dlx solver. The number of solutions of the Quantumino
game when one block is chosen aside is counted in the order of {{{10^9}}}.
On my machine I estimated the following line to take one month :
{{{
sage: T.number_of_solutions()
}}}
I never run it enough time to get the result...
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14014#comment:50>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
