[GAP Forum] Adding Extra Algebra Relations in GAP

[Willem Adriaan De Graaf]

Dear Isaac,

Thank you for your message; it is nice to hear that GAP has been useful to
you.
>From your message I see that you are asking about the quagroup package.
Unfortunately this package has no functionality for the problem you
mention. However, there
are packages for working with general finitely presented associative
algebras., such as GBNP:
https://www.gap-system.org/Packages/gbnp.html
But I cannot say whether it will help you with your problem.

Best wishes,

Willem





On Tue, 23 Jun 2020 at 19:44, Isaac Oppong <isaac.oppong at aims.ac.rw> wrote:

> Dear Sir/Madam,
>
> I am a PhD student at the University of Kent, UK researching
> quantum algebras. GAP has been very helpful to me in my research work most
> especially in my computations.
>
> Taking the quotient of a quantum enveloping algebra comes with extra
> relations. Hence, please how can I add extra relations to the already
> inbuilt relations in GAP. For example, how can I add a relation like: E_3^2
> = E_1E_3E_4 + E_2E_4 + E_1E_4 + 2 to the already inbuilt relations we have
> for U_q^+(B_2) in GAP.
>
> I will appreciate any help very much.
>
>
> Thanks,
>
> Isaac
>
> PS: A copy of this email has already been sent to the email address
> support at gap-system.org. Hence if you receive this email twice, my
> apologies!
>
> --
> DISCLAIMER: The contents of this email and any attachments are
> confidential. They are intended for the named recipient(s) only. If you
> have received this email by mistake, please notify the sender immediately
> and you are herewith notified that the contents are legally privileged and
> that you do not have permission to disclose the contents to anyone, make
> copies thereof, retain or distribute or act upon it by any means,
> electronically, digitally or in print. The views expressed in this
> communication may be of a personal nature and not be representative of
> AIMS-Rwanda and/or any of its Initiatives.
> _______________________________________________
> Forum mailing list
> Forum at gap-system.org
> https://mail.gap-system.org/mailman/listinfo/forum
>