Paquet : libbrial3 (1.2.10-1 et autres)

[ Paquet source : brial  ]

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

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 libbrial de BRiAl.

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

Autres paquets associés à libbrial3

• dep: libc6 (>= 2.29)

  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: libstdc++6 (>= 5.2)

  bibliothèque standard C++ de GNU v3

Télécharger libbrial3

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	138,2 ko	546,0 ko	[liste des fichiers]