toutes les options
sid  ]
[ Paquet source : brial  ]

Paquet : libbrial-groebner3t64 (1.2.12-1.1)

Liens pour libbrial-groebner3t64

Screenshot

Ressources Debian :

Télécharger le paquet source brial :

Responsables :

Ressources externes :

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.

Autres paquets associés à libbrial-groebner3t64

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libbrial-groebner3t64

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
alpha (portage non officiel) 437,7 ko3 355,0 ko [liste des fichiers]
amd64 447,1 ko3 263,0 ko [liste des fichiers]
arm64 426,9 ko3 286,0 ko [liste des fichiers]
armel 413,2 ko3 166,0 ko [liste des fichiers]
armhf 416,1 ko3 058,0 ko [liste des fichiers]
hppa (portage non officiel) 451,1 ko3 323,0 ko [liste des fichiers]
i386 465,8 ko3 282,0 ko [liste des fichiers]
ia64 (portage non officiel) 475,8 ko3 657,0 ko [liste des fichiers]
m68k (portage non officiel) 446,3 ko3 238,0 ko [liste des fichiers]
mips64el 423,1 ko3 389,0 ko [liste des fichiers]
ppc64 (portage non officiel) 453,8 ko3 415,0 ko [liste des fichiers]
ppc64el 452,9 ko3 415,0 ko [liste des fichiers]
riscv64 450,6 ko3 166,0 ko [liste des fichiers]
s390x 445,2 ko3 278,0 ko [liste des fichiers]
sh4 (portage non officiel) 481,2 ko3 288,0 ko [liste des fichiers]
sparc64 (portage non officiel) 412,4 ko4 134,0 ko [liste des fichiers]