Pernahkah Anda berpikir tentang melihat aljabar komputer? Aksioma adalah sistem aljabar komputer tempat sistem tipe dimodelkan setelah Kategori Teori (atau Aljabar Universal, tergantung pada tampilan Anda). Ada dua turunan lebih lanjut dari Aksioma FriCAS dan OpenAxiom .
Jika Anda tertarik pada Kategori Teori, maka sistem jenis mungkin menjadi satu hal untuk dilihat.
Dalam Aksioma, setiap "item" (mis. "1", "5 * x ** 2 + 1") adalah elemen dari suatu Domain. "Domain" adalah objek Aksioma yang dinyatakan sebagai anggota dari Kategori tertentu (misalnya Integer, Polinomial (Integer). Kategori Aksioma adalah objek Aksioma yang dinyatakan sebagai anggota simbol "Kategori" yang dibedakan (misalnya Ring, Polynomial (PUTARAN)).
Ada kisi pewarisan untuk pewarisan berganda di antara Kategori. mis. Kategori Monad mewarisi dari SetCategory, Monoid dari Monad, Grup dari Monoid, dll., dll.
Ada juga polimorfisme tingkat tinggi, sedikit seperti Generics in Java.
Beberapa aksi dalam Aksioma dapat dilihat sebagai Functors, tapi itu akan lebih banyak untuk masuk ke sini!
Jika Anda hanya ingin menggunakan Aksioma tanpa khawatir tentang Kategori Teori, sebagai pengguna akhir biasa, maka sistem perhitungan simbolis adalah bagian yang tepat dari perangkat lunak untuk melihat aljabar individu.