# FreeAlgebras

From symbolicdata

## Free Algebras

### About

The *Free Algebras* Data collection contains information about systems of (noncommutative) polynomials interpreted as twosided ideals in a free algebra over the integers. We assume the user to **have semantic aware tools** to work with noncommutative polynomials (that supply input and computation methods). Such tools are not part of the SymbolicData Collection.

**Free Algebras** are given as XML sequence of noncommutative polynomials with integer coefficients in distributive normal form, complying to the syntactical restrictions of *ncpoly* defined in Types.xsd. The list of variables is part of the XML record.

- The ncpoly syntax for variables has to be tightened within a quality assurance process to avoid characters ()[] that are interpreted as function calls -- hgg, 2013-07-05

### Structure of the Data

- The Free Algebras Knowledge Base for download and as Linked Data
- The XML Resources in the repository with data complying to XSchema definitions FreeAlgebras.xsd, Common.xsd (common structure) and Types.xsd (type definitions)
- FreeAlgebras.Ontology - an informal description of the Ontology of the Free Algebra Knowledge Base developed so far.