The Maxima computer algebra system has a package called Affine for doing the calculations implicit in Bergman's diamond lemma for rings. It can be viewed as a kind of noncommutative analogue of Buchberger's algorithm to compute Groebner bases, though it's not guaranteed to terminate.

Affine was written by William Schelter, and was written by him to do the calculations in the paper Graded Algebras of Global dimension 3, Adv. Math. 66 (1987), by Schelter and Michael Artin. This is the paper that introduced what are now known as Artin-Schelter regular algebras, which is an area of active research in noncomnmutative ring theory. (Lieven LeBruyn has some reminiscences of Schelter, his work, and the role of Affine in that work at his blog.)

I was interested in using Affine to do similar calculations, but the existing documentation is quite poor. Does anyone know how to use it, or can point me to better documentation? I'm just interested in the most basic application: taking a set of generators and relations for a noncommutative algebra for a field, an ordering on variables, and using Affine to compute what relations I have to add to resolve overlap ambiguities.

In particular, I would like to use it to check the calculations in the paper Artin-Schelter regular algebras of dimension five.

  • 5
    $\begingroup$ This is a computer algebra system question, not a mathematics question. $\endgroup$ – Igor Rivin Aug 18 '13 at 19:25
  • 2
    $\begingroup$ This question appears to be off-topic because it is about the use of a CAS. While CAS use is not explicitly mentioned in the MO faq, questions on CAS use is on topic at MSE and you should consider asking there instead. $\endgroup$ – Willie Wong Aug 20 '13 at 0:34
  • 3
    $\begingroup$ I don't understand why this question was closed. I'm asking about an algorithm that's used in research-level mathematics. The only people who would have ever heard of it are mathematical researchers, and the only reason you would ever want to apply it is in the context of research into noncommutative algebras. $\endgroup$ – arsmath Aug 25 '13 at 6:24
  • 1
    $\begingroup$ I apologize for providing insufficient context. I've added some more detail. $\endgroup$ – arsmath Aug 25 '13 at 6:40
  • 3
    $\begingroup$ I don't get why this is controversial. Schelter wrote the package as part of research-level mathematics, and I would like to use it to check calculations in other research-level mathematics. $\endgroup$ – arsmath Sep 4 '13 at 21:37

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.