HOME
TheInfoList



CoCoA (Computations in Commutative Algebra) is a free
computer algebra system
computer algebra system
developed by the University of Genova,
Italy Italy ( it, Italia ), officially the Italian Republic ( it, Repubblica Italiana, links=no ), is a country consisting of a Northern Italy, continental part, delimited by the Alps, a Italian Peninsula, peninsula and List of islands of Italy, se ...
, used to compute with numbers and
polynomial In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). I ...
s. The CoCoA Library (CoCoALib) is available under
GNU General Public License The GNU General Public License (GNU GPL or simply GPL) is a series of widely-used free software licenses that guarantee end users the freedom to run, study, share, and modify the software. The licenses were originally written by Richard Stallma ...
. CoCoA has been ported to many operating systems including
Macintosh The Macintosh (mainly Mac since 1998) is a family of personal computers designed, manufactured, and sold by Apple Inc. since January 1984. The original Macintosh is the first successful mass-market personal computer to have featured a graphic ...
on PPC and x86,
Linux Linux ( or ) is a family of free and open-source software, open-source Unix-like operating systems based on the Linux kernel, an Kernel (computing), operating system kernel first released on September 17, 1991, by Linus Torvalds. Linux is t ...
on x86, x86-64 & PPC, Solaris on
SPARC SPARC (Scalable Processor Architecture) is a reduced instruction set computing (RISC) instruction set architecture (ISA) originally developed by Sun Microsystems Sun Microsystems, Inc. (Sun for short) is a defunct American company that sold ...

SPARC
and
Windows Microsoft Windows, commonly referred to as Windows, is a group of several proprietary graphical operating system An operating system (OS) is system software that manages computer hardware, computer software, software resources, and provi ...
on x86. CoCoA is mainly used by researchers (see citations at and), but can be useful even for "simple" computations. CoCoA's features include: * Very big integers and rational numbers using the GNU Multi-Precision Library * Multivariate
Polynomial In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). I ...
s * Gröbner basis * User interfaces: text; Emacs-based; Qt-based It is able to perform simple and sophisticated operations on multivariate polynomials and on various data related to them (ideals, modules, matrices, rational functions). For example, it can readily compute Gröbner basis, syzygies and Resolution (algebra)#Graded modules and algebras, minimal free resolutions, intersection, division, the radical of an ideal, the ideal of zero-dimensional schemes, Hilbert–Poincaré series, Poincaré series and Hilbert series and Hilbert polynomial, Hilbert functions, factorization of polynomials, and Monomial ideal, toric ideals. The capabilities of CoCoA and the flexibility of its use are further enhanced by the dedicated high-level programming language. Its mathematical core, CoCoALib, has been designed as an open source C++ library, focussing on ease of use and flexibility. CoCoALib is based on GNU Multi-Precision Library. CoCoALib is used by ApCoCoA and NmzIntegrate


See also

*List of computer algebra systems *Standard Template Library


References


External links

*
ApCoCoA, an extension of CoCoA
{{DEFAULTSORT:Cocoa System Computer algebra system software for Linux Free computer algebra systems Science software that uses Qt