Pozoruhodný počítač systém algebry
Singulární je výpočetní systém algebry pro polynomial výpočty se zvláštním důrazem na potřebách komutativní algebry, algebraické geometriea teorie výstřednosti.Od pozoruhodného domácího místa:
Singulární je algebra počítače systém pro výpočty polynomial s důrazem na zvláštních potřebách komutativní algebry, algebraická geometrie a teorie výstřednosti.
Singulární hlavní výpočetní objekty jsou ideály a moduly přes velkou paletu baserings. Baserings jsou prsteny polynomial nebo lokalizace thereof přes pole (např., konečná pole, rationals, plave, algebraická rozšíření, transcendentní rozšíření) nebo kvocient zvoní s úctou k ideálu.
Pozoruhodné rysy jedny z nejrychlejších a nejobecnějších realizací různých algoritmů pro práci na počítači Groebner resp. standard založí. Implementace zahrnuje Buchberger algoritmus (jestliže uspořádání je uspořádání studny) a Morův algoritmus (jestliže uspořádání je tangentové kuželové uspořádání) jako zvláštní případy. Dále, to poskytuje factorizations polynomial, resultant, charakteristika zapadla a gcd počítání, syzygy a volný-počítání rozhodnutí, a mnoho více příbuzných functionalities.
Umístěný na easy-to-use interaktivní shell a C-jako programovací jazyk, singulární interní funkčnost je rozšířena a uživatel-roztažitelný knihovnami psanými v pozoruhodném programovacím jazyce. Obecná a účinná realizace spojení komunikace připustí singulární dělat jeho funkčnost dostupnou jiným programům.
Singulární je vývoj odstartovaný v roce 1984 s realizací Morova tangentového Cone algoritmu v Modula-2 na Atari počítači (K.P. Neuendorf, G. Pfister, H. Schönemann; Humboldt-Universität zu Berlín). Potřeba nového systému se vynořila ze šetření matematických problémů pocházet z teorie výstřednosti který žádný z existujících systémů byl schopný vypočítat.
V časných devadesátých létech singulární “domov-město” se stěhoval do Kaiserslautern, obecná norma algoritmus základu byl uskutečněn v C a singulární byl ported k unixu, MS-DOS, Windows NT, a MacOS.
Nepřetržitá rozšíření (jako když polynomial factorization, gcd počítání, spojení) a refinements vedl v roce 1997 k vydání pozoruhodné verze 1.0 a v roce 1998 k vydání verze 1.2 (mnohem rychlejší standard a Groebner založí počítání založená na sérii Hilberta a na zlepšených realizacích algoritmů, knihovny pro primární rozložení, normalizace prstenu, etc.)
- Pozoruhodné domácí místo: http://www.singular.uni-kl.de/