2
$\begingroup$

I am looking for a computer program that can handle computations in noncommutative algebra over a finite field of prime order $p$.

My requirements are:

  1. The program should be free, as I do not have access to licensed software.

  2. It should be as easy to use as possible, as I am not very experienced with computer programming; I have already tried using Bergman and Macaulay2, but I was unable to install or set them up successfully, likely due to my limited understanding of Linux and the associated installation processes. Therefore, I would greatly appreciate recommendations for tools that are easier to install and use, particularly on non-Linux systems.

Thank you for your time and suggestions!

Improve this question
$\endgroup$
4
  • 2
    $\begingroup$ SageMath these days has become quite convenient (and between the cell server, the CoCalc cloud and WSL, it is really not hard to get working), but what kind of calculations do you want to do? $\endgroup$
    – darij grinberg
    Commented Nov 15 at 16:51
  • 1
    $\begingroup$ @darijgrinberg Thank you very much for your answer! I want to work on the Grobner-Shirshov basis for ideals of the ring of non-commutative formal power series. However, taking power and multiplication of "truncated polynomials" would be sufficient for me now. $\endgroup$
    – gualterio
    Commented Nov 15 at 16:59
  • 3
    $\begingroup$ SageMath has functionality for (lazy) power series (see, e.g., this recent talk), though many people prefer to work with polynomials instead. You can define your own algebras by implementing recursive reduction algorithms, though I wouldn't necessarily call this easy. I don't think any methods for Gröbner-Shirshov bases have been implemented yet. $\endgroup$
    – darij grinberg
    Commented Nov 15 at 18:28
  • $\begingroup$ @darijgrinberg Thank you very much for your answers! I want to use very easy examples to see whether my idea about the GS-basis actually works. $\endgroup$
    – gualterio
    Commented Nov 16 at 6:53

0

Reset to default

You must log in to answer this question.