Ask Your Question

Nicolas M. Thiéry's profile - activity

2021-06-29 23:10:28 +0200 answered a question Define matrix indexed by partitions

Potential alternatives: - Install pandas in your Sage installation, and use a pandas DataFrame (https://fr.wikipedia.or

2018-09-06 19:26:48 +0200 received badge  Supporter (source)
2018-06-09 03:26:29 +0200 received badge  Good Answer (source)
2018-06-08 22:44:49 +0200 received badge  Nice Answer (source)
2018-06-08 11:34:06 +0200 answered a question Finitely presented monoids

This is implemented in GAP, but not currently wrapped in Sage. It still is possible -- but inconvenient -- to create such monoids by calling directly the appropriate GAP functions.

If you are ready to use experimental code with all its caveats, I am implementing a library providing nicer wrapping for GAP functionalities in Sage. In fact, wrapping GAP's monoid functionalities is my primary motivation :-)

With this sage-gap-semantic-interface installed, you can do:

sage: from mygap import mygap
sage: M = mygap.FreeMonoid(2)
sage: m1, m2 = M.monoid_generators()
sage: H = M / [ [ m1^2, m1], [m2^2, m2], [m1*m2*m1, m2*m1*m2]]
sage: H.category()
Category of g a p monoids
sage: H.is_finite()
True
sage: H.cardinality()
6

For more examples, see: https://github.com/nthiery/sage-gap-s...

Happy to give a hand if you have trouble, though I can't guarantee to be super responsive. Best is to create issues on the github repo.

2018-06-07 18:29:44 +0200 received badge  Nice Answer (source)
2018-06-07 13:56:10 +0200 received badge  Teacher (source)
2018-06-07 07:57:28 +0200 commented answer Could anyone explain this unexpected behaviour of the interface?

See also this IPython issue: https://github.com/ipython/ipython/is...

One way to work around is to use ascii art output:

sage: %display unicode_art
sage: list(range(100))
[ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15,

 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29,

 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43,

 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57,

 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71,

 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85,

 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99 ]