Re: [sage-devel] can't install dot2tex package in Sage 8.1

2018-03-08 Thread Vít Tuček
Sorry, I thought there is only one way to install Sage packages. I ran sage -i dot2tex. The error log is attached to my previous mail. Dne úterý 6. března 2018 17:04:01 UTC+1 Jeroen Demeyer napsal(a): > > On 2018-03-06 14:42, Vít Tuček wrote: > > I tried install dot2tex in Sage

Re: [sage-devel] Re: BUGS in tensor products of algebras

2018-03-06 Thread Vít Tuček
Dne pátek 2. března 2018 0:08:46 UTC+1 Travis Scrimshaw napsal(a): > > > >>> Free abelian monoid... Hmmm... What free abelian monoid? sage: PBW.basis().keys().an_element() PBW[alpha[1]]^2*PBW[alphacheck[1]]^2*PBW[-alpha[1]]^3 So PBW.basis() is _indexed_

[sage-devel] can't install dot2tex package in Sage 8.1

2018-03-06 Thread Vít Tuček
Hi! I tried install dot2tex in Sage 8.1 and got error building mpfr. See the attached log. At first it actually failed with complaints about mpfr being too old (version 3.8 or something) so I did ./sage --package update mpfr 4.0.1 --url

Re: [sage-devel] Re: BUGS in tensor products of algebras

2018-02-28 Thread Vít Tuček
Hi! Dne pátek 23. února 2018 23:28:21 UTC+1 Travis Scrimshaw napsal(a): > > > No, it is not. The keys for the basis of the PBW are different than those >>> for the algebra generators. See the output: >>> >>> sage: PBW.basis() >>> Lazy family (Term map from Free abelian monoid indexed by

Re: [sage-devel] Re: BUGS in tensor products of algebras

2018-02-23 Thread Vít Tuček
Hi! Dne pátek 23. února 2018 0:15:59 UTC+1 Travis Scrimshaw napsal(a): > > Hey Vit, > >Some of these issues are probably related to bad input. Let us start >>> with *.algebras_generators(). It is useful to look at the output: >>> >>> sage: PBW.algebra_generators() >>> Finite family

[sage-devel] Re: BUGS in tensor products of algebras

2018-02-22 Thread Vít Tuček
Hey Travis, thank you for clarification. Dne čtvrtek 22. února 2018 2:44:44 UTC+1 Travis Scrimshaw napsal(a): > > Hey Vit, >Some of these issues are probably related to bad input. Let us start > with *.algebras_generators(). It is useful to look at the output: > > sage:

[sage-devel] Re: BUG in handling errors from gap

2018-02-21 Thread Vít Tuček
I forgot the last line t == G.one() The ticket https://trac.sagemath.org/ticket/14779 seems to be related. Dne středa 21. února 2018 16:47:04 UTC+1 Vít Tuček napsal(a): > > If you try to test for equality in a finitely presented groupy the sage > kernel can crash. > > The foll

[sage-devel] BUG in handling errors from gap

2018-02-21 Thread Vít Tuček
If you try to test for equality in a finitely presented groupy the sage kernel can crash. The following real life example leads to restarted kernel in the notebook interface and to "gap: cannot extend the workspace any more!" in Sage terminal interface (and nongraceful exit). k = 3 p = 18 d =

[sage-devel] BUGS in tensor products of algebras

2018-02-21 Thread Vít Tuček
Hi! I would like to do some calculations but I hit the wall with in the very beginning. The following was tested on 8.2-beta6 L = lie_algebras.sl(QQ, 2) U = L.universal_enveloping_algebra() # Noncommutative Multivariate Polynomial Ring => can't do tensor product with algebra. BUG? PBW =

[sage-devel] libGAP issues when building sage 6.2-beta5

2014-04-04 Thread Vít Tuček
Hi! I am trying to work on #15948 and the last change bumped the code from 6.1 to 6.2-beta5. I tried ./sage -b, make and ./sage -f libgap but I still get the following error An error occurred, but libGAP has no handler set ...

[sage-combinat-devel] trac's automerging failed

2014-03-25 Thread Vít Tuček
Hi! I am working on ticket #15272 and the branch I've created is red, there's no cummulative patch and mouseover information says trac's automerging failed What is wrong and how do I fix it? Also the patch is basically finished and the only missing things are some doctests. Could somebody

[sage-combinat-devel] RFC: DynkinDiagram with crossed nodes and labels

2014-03-15 Thread Vít Tuček
, Vít Tuček -- You received this message because you are subscribed to the Google Groups sage-combinat-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-combinat-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-combinat

[sage-combinat-devel] Re: Misleading documentation about Cartan types

2014-03-05 Thread Vít Tuček
I am working on extending (non-affine) DynkinDiagrams so they allow arbitrary labels over the nodes as well as different type of nodes (i.e. crosses). The purpose is using sage for producing examples to be included in papers. See e.g. http://arxiv.org/abs/1303.1307 page 36. I haven't created a

[sage-combinat-devel] Re: Branching Rules

2014-02-04 Thread Vít Tuček
There is a typo at http://sporadic.stanford.edu/thematic_tutorials/lie/weyl_groups.html We may ask when this permutation is trivial. If it is nontrivial it induces an automorphism of the Dynkin diagram, so it must be nontrivial when the Dynkin diagram has no automorphism. But if there is a

Re: [sage-combinat-devel] [RFC] parabolic posets

2013-10-12 Thread Vít Tuček
I have created ticket http://trac.sagemath.org/ticket/15272 and uploaded the patch for posets graphs. Dne pondělí, 7. října 2013 11:39:52 UTC+2 Vít Tuček napsal(a): Dne neděle, 6. října 2013 22:07:11 UTC+2 Nicolas M. Thiery napsal(a): Dear Vít, On Sun, Oct 06, 2013 at 11:03

[sage-combinat-devel] [RFC] parabolic posets

2013-10-06 Thread Vít Tuček
a chance to be included in sage I am willing to try to implement it. I'll post patches as soon as I get properly acquainted with sage patch build system. Best regards, Vít Tuček -- You received this message because you are subscribed to the Google Groups sage-combinat

Re: [sage-combinat-devel] BUG: in latex representation of roots in epsilon notation

2013-04-05 Thread Vít Tuček
-0700, Vít Tuček wrote: Thanks. I am looking into it. Is it possible that some nonzero coefficient c has representation by string 0? For the moment I am assuming no. Just in case, I'd rather avoid this assumption if you can. Thanks! Nicolas

Re: [sage-combinat-devel] BUG: in latex representation of roots in epsilon notation

2013-04-04 Thread Vít Tuček
:50PM -0700, Vít Tuček wrote: The title says it all. testcase: sage: latex(RootSystem(A2).ambient_space().simple_root(1)) e_{0} + \left(-1\right)e_{1} expected output: e_{0} - e_{1} Of course it should work also for weights and should be capable

Re: [sage-combinat-devel] BUG: in latex representation of roots in epsilon notation

2013-04-04 Thread Vít Tuček
I am finished with coding. Is there a way to test only latex output? I'd rather avoid testing all routines. I'll upload a patch to http://trac.sagemath.org/sage_trac/ticket/13735 as soon as I'll get an account on trac.sagemath.org Dne čtvrtek, 4. dubna 2013 16:14:07 UTC+2 Vít Tuček napsal

[sage-combinat-devel] Re: BUG: in latex representation of roots in epsilon notation

2013-04-04 Thread Vít Tuček
Sorry for spamming the list. It seems that I will have to wait for the trac account for quit a while. Please feel free to try out the attached patch. Dne středa, 3. dubna 2013 21:40:50 UTC+2 Vít Tuček napsal(a): Hi! The title says it all. testcase: sage: latex(RootSystem(A2

[sage-combinat-devel] BUG: in latex representation of roots in epsilon notation

2013-04-03 Thread Vít Tuček
Hi! The title says it all. testcase: sage: latex(RootSystem(A2).ambient_space().simple_root(1)) e_{0} + \left(-1\right)e_{1} expected output: e_{0} - e_{1} Of course it should work also for weights and should be capable of producing output like -3e_{1}+e_{2} Best regards

[sage-combinat-devel] Re: BUG: in latex representation of roots in epsilon notation

2013-04-03 Thread Vít Tuček
2013 21:40:50 UTC+2 Vít Tuček napsal(a): Hi! The title says it all. testcase: sage: latex(RootSystem(A2).ambient_space().simple_root(1)) e_{0} + \left(-1\right)e_{1} expected output: e_{0} - e_{1} Of course it should work also for weights and should be capable of producing