Paquet : libbrial-groebner3 (1.2.12-1) [debports]

[ Paquet source :  ]

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.

Autres paquets associés à libbrial-groebner3

• dep: libbrial3 (= 1.2.12-1)

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

• dep: libc6 (>= 2.32)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: libgcc-s1 (>= 3.4)

  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 (>= 11)

  bibliothèque standard C++ de GNU v3

Télécharger libbrial-groebner3

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
riscv64 (portage non officiel)	441,8 ko	3 184,0 ko	[liste des fichiers]