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

[ Paquet source : brial  ]

polynômes sur des anneaux booléens –⋅fichiers de développement principaux

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 les fichiers de développement principaux de BRiAl.

Étiquettes: Développement de logiciel: Bibliothèques, Rôle: Bibliothèque de programmation

Autres paquets associés à libbrial-dev

• dep: libboost-dev

  Boost C++ Libraries development files (default version)

• dep: libbrial3 (= 1.2.10-1+b1)

  polynômes sur des anneaux booléens –⋅bibliothèque partagée

• dep: libgd-dev

  bibliothèque graphique GD –⋅version de développement

• dep: libm4ri-dev

  Method of the Four Russians Inversion library, development files

• dep: libpng-dev

  bibliothèque PNG version⋅1.6 –⋅ développement

Télécharger libbrial-dev

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
ppc64el	1.2.10-1+b1	89,4 ko	604,0 ko	[liste des fichiers]