2023-04-21 03:27:01 +0200 | commented question | Universal enveloping algebra over the complex numbers Thanks that works, L.pbw_basis() works with QQbar. |
2023-04-19 06:18:21 +0200 | commented question | Universal enveloping algebra over the complex numbers Would it be possible for you to elaborate? When I try to use QQbar I get the error "TypeError: Illegal initializer for a |
2023-04-18 08:44:43 +0200 | asked a question | Universal enveloping algebra over the complex numbers Universal enveloping algebra over the complex numbers In the documentation there is an example of defining the universal |
2023-04-18 08:26:26 +0200 | received badge | ● Famous Question (source) |
2022-12-29 09:43:15 +0200 | received badge | ● Notable Question (source) |
2022-12-29 09:43:15 +0200 | received badge | ● Popular Question (source) |
2022-10-23 14:02:51 +0200 | commented answer | A Sage implementation of the Virasoro algebra and its representations I think you want parentheses around some of the terms: bracket= i[1]*j[1]*((i[0]-j[0])*Vir.monomial(i[0]+j[0]) + kronec |
2022-10-23 00:26:08 +0200 | received badge | ● Student (source) |
2022-10-14 11:31:07 +0200 | asked a question | Rational variable Rational variable How would one define the domain of a symbolic variable to be rational? For a real variable $a$ it woul |