toutes les options
stretch  ]
[ Paquet source : brial  ]

Paquet : libbrial0 (0.8.5-4)

Liens pour libbrial0

Screenshot

Ressources Debian :

Télécharger le paquet source brial :

Responsables :

Ressources externes :

Paquets similaires :

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.

Autres paquets associés à libbrial0

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libbrial0

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
armhf 153,3 ko462,0 ko [liste des fichiers]