ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Tue, 09 May 2017 21:09:47 +0200How can I specify a (possibly non-associative) algebra over a finite (small) set of generators by means of structure constants?https://ask.sagemath.org/question/37556/how-can-i-specify-a-possibly-non-associative-algebra-over-a-finite-small-set-of-generators-by-means-of-structure-constants/ I am looking for something similar to the Axiom/FriCAS domain AlgebraGivenByStructuralConstants which implements finite rank algebras over a commutative ring, given by the structural constants with respect to a fixed basis [a1,..,an] or equivalently in terms of generating equations of the form
a_i * a_j = gamma_ij1 * a_1 + ... + gamma_ijn * a_n
where gamma is a vector/list of length n of n by n matrices.
In particular I would like to be able to easily compute various properties of such algebras such as the conditions for idempotents etc. For example:
- http://axiom-wiki.newsynthesis.org/uploads/chapter-8.xhtml#sec-8.14
- http://axiom-wiki.newsynthesis.org/SandBoxObserverAsIdempotent2#eq10Bill Page _ againTue, 09 May 2017 21:09:47 +0200https://ask.sagemath.org/question/37556/