Paquet : libbrial-groebner3 (1.2.10-1 et autres)

Liens pour libbrial-groebner3

Ressources Debian :

Télécharger le paquet source brial :

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

routines de calcul formel de BRiAl

Le noyau de BRiAl est une bibliothèque⋅C++ qui fournit des types de données de haut niveau pour les polynômes et monômes booléens, les vecteurs d’exposants aussi bien que pour les anneaux de polynômes sous-jacents et les sous-ensembles de l'ensemble des parties de l'ensemble des variables booléennes. Comme approche unique, des diagrammes de décision binaire sont utilisés comme type de stockage interne des structures polynomiales. Sur la base de cette bibliothèque⋅C++, une interface Python est fournie. Cela permet l'analyse de systèmes polynomiaux complexes aussi bien que des stratégies sophistiquées et extensibles pour le calcul des bases de Groebner. BRiAl dispose des fonctions d'une puissante implémentation de référence pour le calcul des bases de Groebner.

Ce paquet fournit la bibliothèque partagée de BRiAl, libbrial_groebner.

Étiquettes: Rôle: Bibliothèque partagée

Autres paquets associés à libbrial-groebner3

dépendances

recommandations

suggestions

enhances

dep: libbrial3 (= 1.2.10-1+b1)

polynômes sur des anneaux booléens –⋅bibliothèque partagée
dep: libc6 (>= 2.17)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libgcc-s1 (>= 3.0)

bibliothèque de prise en charge de GCC
dep: libm4ri-0.0.20200125 (>= 20200125)

Method of the Four Russians Inversion library, shared library
dep: libstdc++6 (>= 9)

bibliothèque standard C++ de GNU v3

Télécharger libbrial-groebner3

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
arm64	1.2.10-1+b1	427,5 ko	3 218,0 ko	[liste des fichiers]