The Colloquium's purpose is two-fold: 1) for the participants to share and discuss theory, practical experiences and insights regarding FriCAS, and 2) to assist others concerned with FriCAS and computer algebra in general, through publication and dissemination of the key points that emerged from the exchange of views thus suggesting useful options and alternative approaches to various issues.

Discussion - even long and detailed discussion is encouraged.

Current Topics

• BNatural

  B# (pronounced B natural) was a non-typed beginner's user interface for Axiom proposed by Janks and Trager in their 1994 paper: "How to Make Axiom into a ScratchPad"

  http://axiom-wiki.newsynthesis.org/public/refs/axiom-scratchpad.pdf

  BNatural was never implemented because at about the same time IBM decided to discontinue Axiom as a research project and turn it over to Numerical Algorithms Group to market as a commercial product. But a new project has been proposed to attempt to implement BNatural using Aldor.

• Complex Polynomial

  Should that be p:Complex Polynomial Integer or p:Polynomial Complex Integer? Is conjugate(p) of the same type as p?

• Imitation As Complement

  other websites similar to MathAction

• Tuples Products And Records

  How to write f:A->(B,C) in Axiom

• Units and Dimensions

  Discussion on the design of units package for FriCAS

• IndexedUnion

  Discussion on implementation of Union

• Type Equivalence in Axiom and Aldor
• Axiom and Maple comments about Axiom in "An interview with Gaston Gonnet"
• [Edit this page to add new headings, Save and then click ? to add a new topic]