4
$\begingroup$

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.

Improve this question
$\endgroup$
8
  • 5
    $\begingroup$ This is a computer algebra system question, not a mathematics question. $\endgroup$ Commented Aug 18, 2013 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$ Commented Aug 20, 2013 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$ Commented Aug 25, 2013 at 6:24
  • 1
    $\begingroup$ I apologize for providing insufficient context. I've added some more detail. $\endgroup$ Commented Aug 25, 2013 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$ Commented Sep 4, 2013 at 21:37

0

Reset to default

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.