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.
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
> 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? 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.
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" > 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
Hi, 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" 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.
Re: [sage-combinat-devel] doctest failures in categories/coxeter_groups.py
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.
[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 "", line 1, in 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 group, se
