[sage-combinat-devel] doctest failures in categories/coxeter_groups.py
Arrgh, I had my google account settings wrong and several of my email posts went to the bit bucket before I noticed. I have been encountering doctest errors involving the availability of chevie: /coxeter_group.py, line 256, in CoxeterGroup assert is_chevie_available() What is the workaround? The error log follows (snipped after the assertion error). (Note that _test_enumerated_set_iter_cardinality() also fails.) --Mark sage -t devel/sage-combinat/sage/categories/coxeter_groups.py ** File /home/msshimo/sage-5.0.beta7/devel/sage-combinat/sage/categories/ coxeter_groups.py, line 74: sage: W = CoxeterGroups().example(); TestSuite(W).run(verbose = True) Expected: running ._test_an_element() . . . pass running ._test_associativity() . . . pass running ._test_category() . . . pass running ._test_elements() . . . Running the test suite of self.an_element() running ._test_category() . . . pass running ._test_eq() . . . pass running ._test_not_implemented_methods() . . . pass running ._test_pickling() . . . pass pass running ._test_elements_eq() . . . pass running ._test_enumerated_set_contains() . . . pass running ._test_enumerated_set_iter_cardinality() . . . pass running ._test_enumerated_set_iter_list() . . . pass running ._test_eq() . . . pass running ._test_has_descent() . . . pass running ._test_inverse() . . . pass running ._test_not_implemented_methods() . . . pass running ._test_one() . . . pass running ._test_pickling() . . . pass running ._test_prod() . . . pass running ._test_reduced_word() . . . pass running ._test_simple_projections() . . . pass running ._test_some_elements() . . . pass Got: running ._test_an_element() . . . pass running ._test_associativity() . . . pass running ._test_category() . . . pass running ._test_elements() . . . Running the test suite of self.an_element() running ._test_category() . . . pass running ._test_eq() . . . pass running ._test_not_implemented_methods() . . . pass running ._test_pickling() . . . pass pass running ._test_elements_eq() . . . pass running ._test_enumerated_set_contains() . . . pass running ._test_enumerated_set_iter_cardinality() . . . fail Traceback (most recent call last): File /home/msshimo/sage-5.0.beta7/local/lib/python/site- packages/sage/misc/sage_unittest.py, line 279, in run test_method(tester = tester) File /home/msshimo/sage-5.0.beta7/local/lib/python/site- packages/sage/categories/finite_enumerated_sets.py, line 426, in _test_enumerated_set_iter_cardinality tester.assert_(type(card) is Integer) File /home/msshimo/sage-5.0.beta7/local/lib/python2.7/unittest/ case.py, line 420, in assertTrue raise self.failureException(msg) AssertionError: False is not true running ._test_enumerated_set_iter_list() . . . pass running ._test_eq() . . . pass running ._test_has_descent() . . . pass running ._test_inverse() . . . pass running ._test_len() . . . pass running ._test_not_implemented_methods() . . . pass running ._test_one() . . . pass running ._test_pickling() . . . pass running ._test_prod() . . . pass running ._test_reduced_word() . . . pass running ._test_simple_projections() . . . pass running ._test_some_elements() . . . pass The following tests failed: _test_enumerated_set_iter_cardinality ** File /home/msshimo/sage-5.0.beta7/devel/sage-combinat/sage/categories/ coxeter_groups.py, line 612: sage: W = CoxeterGroup(['A',2],index_set=[1,2]) Exception raised: Traceback (most recent call last): File /home/msshimo/sage-5.0.beta7/local/bin/ncadoctest.py, line 1231, in run_one_test self.run_one_example(test, example, filename, compileflags) File /home/msshimo/sage-5.0.beta7/local/bin/sagedoctest.py, line 38, in run_one_example OrigDocTestRunner.run_one_example(self, test, example, filename, compileflags) File /home/msshimo/sage-5.0.beta7/local/bin/ncadoctest.py, line 1172, in run_one_example compileflags, 1) in test.globs File doctest __main__.example_16[2], line 1, in module W = CoxeterGroup(['A',Integer(2)],index_set=[Integer(1),Integer(2)])###line 612: sage: W = CoxeterGroup(['A',2],index_set=[1,2]) File /home/msshimo/sage-5.0.beta7/local/lib/python/site- packages/sage/combinat/root_system/coxeter_group.py, line 256, in CoxeterGroup assert is_chevie_available() AssertionError -- You received this message because you are subscribed to the Google Groups sage-combinat-devel group. To post to this group, send email to sage-combinat-devel@googlegroups.com. To unsubscribe from this
Re: [sage-combinat-devel] doctest failures in categories/coxeter_groups.py
Cristian and Nicolas, I already installed the J-M distro of gap3 and it works from the command line, but how do I tell sage of its existence? I see that the ticket has a line sage -i gap3-jm2.spkg based on an older version. --Mark I have just updated the GAP3 interface ticket description on http://trac.sagemath.org/sage_trac/ticket/8380 to describe how to install GAP3 (including a link to the spkg based on Jean-Michel's distribution). Please check! On Thu, Mar 15, 2012 at 06:59:03PM +0100, Christian Stump wrote: You should then be set to play with CoxeterGroups in Sage. Please be aware that I am constantly (sometimes more sometimes less) working on the implementation, so it is not yet completely stable and things might change. Please send feedback when you encounter bugs or missing features (of course, there is a lot missing still!). By the way: for Mark's current purpose, it might be sufficient to tag the GAP3 dependent tests with # optional. Cheers, Nicolas -- Nicolas M. ThiƩry Isil nthi...@users.sf.net http://Nicolas.Thiery.name/ -- You received this message because you are subscribed to the Google Groups sage-combinat-devel group. To post to this group, send email to sage-combinat-devel@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en. -- You received this message because you are subscribed to the Google Groups sage-combinat-devel group. To post to this group, send email to sage-combinat-devel@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
Re: [sage-combinat-devel] doctest failures in categories/coxeter_groups.py
Never mind, I had named the shellscript gap instead of gap3. --Mark Can you reconfirm that you can run gap3 from the command line within the Sage folder. I wouldn't know anything else necessary, do you Nicolas? Next, what happens if you run gap3.console() from within Sage? -- You received this message because you are subscribed to the Google Groups sage-combinat-devel group. To post to this group, send email to sage-combinat-devel@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en. -- You received this message because you are subscribed to the Google Groups sage-combinat-devel group. To post to this group, send email to sage-combinat-devel@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
Re: [sage-combinat-devel] doctest failures in categories/coxeter_groups.py
Hi! Actually, I think the easiest to install gap3 for Sage is using sage -f http://sage.math.washington.edu/home/nthiery/gap3-jm2.spkg Best, Anne On 3/15/12 10:59 AM, Christian Stump wrote: Dear Marc, /coxeter_group.py, line 256, in CoxeterGroup assert is_chevie_available() To use the coxeter groups implementation, you must have gap3 installed (i.e., typing gap3 in the command line starts gap3), and the chevie package available (i.e., typing RequirePackage(chevie) within gap3 should work). The easiest to obtain that is to download Jean Michel's version of gap3 with chevie preinstalled, which you can download at http://www.math.jussieu.fr/~jmichel/gap3/gap3-jm4.tar.gz (Thanks to Jean for providing it!). From http://www.math.jussieu.fr/~jmichel/gap3/: The installation instructions are as follows: unpack somewhere the file, it will make a gap3-jm4 directory. Then, in gap3-jm4/bin edit gap.sh (on Linux or Mac-OSX) or gap.bat or gap.cmd (on dos/windows) so that the variable GAP_DIR refers to the right directory and GAP_PRG to the right executable, and put gap.sh (renamed gap3) or gap.bat someplace on your path. You should then be set to play with CoxeterGroups in Sage. Please be aware that I am constantly (sometimes more sometimes less) working on the implementation, so it is not yet completely stable and things might change. Please send feedback when you encounter bugs or missing features (of course, there is a lot missing still!). Let me know if you don't get gap3 running, or if you have other issues! Christian -- You received this message because you are subscribed to the Google Groups sage-combinat-devel group. To post to this group, send email to sage-combinat-devel@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.