Skip to main content

passagemath: Boolean Ring Algebra with BRiAl

Project description

About SageMath

“Creating a Viable Open Source Alternative to

Magma, Maple, Mathematica, and MATLAB”

Copyright (C) 2005-2023 The Sage Development Team

https://www.sagemath.org

SageMath fully supports all major Linux distributions, recent versions of macOS, and Windows (using Cygwin or Windows Subsystem for Linux).

The traditional and recommended way to install SageMath is from source via Sage-the-distribution (https://www.sagemath.org/download-source.html). Sage-the-distribution first builds a large number of open source packages from source (unless it finds suitable versions installed in the system) and then installs the Sage Library (sagelib, implemented in Python and Cython).

About this pip-installable source distribution

This pip-installable source distribution sagemath-brial provides a Boolean Ring Algebra implementation using binary decision diagrams, implemented by the BRiAl library, the successor to PolyBoRi.

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

passagemath_brial-10.4.62.tar.gz (81.6 kB view details)

Uploaded Source

Built Distributions

passagemath_brial-10.4.62-cp312-cp312-musllinux_1_2_x86_64.whl (14.1 MB view details)

Uploaded CPython 3.12 musllinux: musl 1.2+ x86-64

passagemath_brial-10.4.62-cp312-cp312-musllinux_1_2_i686.whl (13.7 MB view details)

Uploaded CPython 3.12 musllinux: musl 1.2+ i686

passagemath_brial-10.4.62-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (14.4 MB view details)

Uploaded CPython 3.12 manylinux: glibc 2.17+ x86-64

passagemath_brial-10.4.62-cp312-cp312-manylinux_2_17_i686.manylinux2014_i686.whl (13.9 MB view details)

Uploaded CPython 3.12 manylinux: glibc 2.17+ i686

passagemath_brial-10.4.62-cp312-cp312-macosx_14_0_arm64.whl (6.3 MB view details)

Uploaded CPython 3.12 macOS 14.0+ ARM64

passagemath_brial-10.4.62-cp312-cp312-macosx_13_0_x86_64.whl (2.5 MB view details)

Uploaded CPython 3.12 macOS 13.0+ x86-64

passagemath_brial-10.4.62-cp311-cp311-musllinux_1_2_x86_64.whl (14.2 MB view details)

Uploaded CPython 3.11 musllinux: musl 1.2+ x86-64

passagemath_brial-10.4.62-cp311-cp311-musllinux_1_2_i686.whl (13.9 MB view details)

Uploaded CPython 3.11 musllinux: musl 1.2+ i686

passagemath_brial-10.4.62-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (14.5 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ x86-64

passagemath_brial-10.4.62-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl (14.0 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ i686

passagemath_brial-10.4.62-cp311-cp311-macosx_14_0_arm64.whl (6.3 MB view details)

Uploaded CPython 3.11 macOS 14.0+ ARM64

passagemath_brial-10.4.62-cp311-cp311-macosx_13_0_x86_64.whl (2.5 MB view details)

Uploaded CPython 3.11 macOS 13.0+ x86-64

passagemath_brial-10.4.62-cp310-cp310-musllinux_1_2_x86_64.whl (14.0 MB view details)

Uploaded CPython 3.10 musllinux: musl 1.2+ x86-64

passagemath_brial-10.4.62-cp310-cp310-musllinux_1_2_i686.whl (13.8 MB view details)

Uploaded CPython 3.10 musllinux: musl 1.2+ i686

passagemath_brial-10.4.62-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (14.4 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ x86-64

passagemath_brial-10.4.62-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl (13.9 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ i686

passagemath_brial-10.4.62-cp310-cp310-macosx_14_0_arm64.whl (6.3 MB view details)

Uploaded CPython 3.10 macOS 14.0+ ARM64

passagemath_brial-10.4.62-cp310-cp310-macosx_13_0_x86_64.whl (2.5 MB view details)

Uploaded CPython 3.10 macOS 13.0+ x86-64

passagemath_brial-10.4.62-cp39-cp39-musllinux_1_2_x86_64.whl (14.0 MB view details)

Uploaded CPython 3.9 musllinux: musl 1.2+ x86-64

passagemath_brial-10.4.62-cp39-cp39-musllinux_1_2_i686.whl (13.8 MB view details)

Uploaded CPython 3.9 musllinux: musl 1.2+ i686

passagemath_brial-10.4.62-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (14.4 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ x86-64

passagemath_brial-10.4.62-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl (13.9 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ i686

passagemath_brial-10.4.62-cp39-cp39-macosx_14_0_arm64.whl (6.3 MB view details)

Uploaded CPython 3.9 macOS 14.0+ ARM64

passagemath_brial-10.4.62-cp39-cp39-macosx_13_0_x86_64.whl (2.5 MB view details)

Uploaded CPython 3.9 macOS 13.0+ x86-64

File details

Details for the file passagemath_brial-10.4.62.tar.gz.

File metadata

  • Download URL: passagemath_brial-10.4.62.tar.gz
  • Upload date:
  • Size: 81.6 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/5.1.1 CPython/3.12.7

File hashes

Hashes for passagemath_brial-10.4.62.tar.gz
Algorithm Hash digest
SHA256 99ff7a13b78831be84ff2a99c00eef1d0fcd70409dd4f69f61122285fddb3df1
MD5 7f4a3f937217a3ccd77d5489f9167e6e
BLAKE2b-256 b345e379517a30ec72a05aa2c5588a5de66914e639b18efad3b907ea1af5c33f

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp312-cp312-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 704802817e385ac67494fbdf072344dfd609f8471b049f98ebd7a435b629d1bf
MD5 6a523f201267ddd4ceb678fdb8239f05
BLAKE2b-256 d3e3ef6b42c4c2f4c8e34da5af952fb64ec0fb7c5c70fea5191c27c7d681c318

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp312-cp312-musllinux_1_2_i686.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp312-cp312-musllinux_1_2_i686.whl
Algorithm Hash digest
SHA256 598af0358c41cf63f217ed38831b5144e478d12f84b2c3472eb165f6fef04682
MD5 f013057d025b992fd7529f02139246ab
BLAKE2b-256 bdd625fd8c89ac1c01b429ec69fa5643ae94c668495f349afa76176b9a0a9ab3

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 59658098dea7c36c8c6c9f39bd1a3057042aa67942dbf1711dc6cd3db84c672a
MD5 591a9c254c4759095e4d5c162b3fd8d3
BLAKE2b-256 1aef2cdc7f53b1e9f7a0b3ffd641b03b799cea43b131320b9531802aa5f2a027

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp312-cp312-manylinux_2_17_i686.manylinux2014_i686.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp312-cp312-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 6cddf01494c79601c5644f13e935d990a552f193e219880dc4685bece45401f6
MD5 c30f61c15b1068172068568de46ae2b2
BLAKE2b-256 64b109c33664ab2247ff467ce33360b9cb4cd6d2ce3c6a0b8e3a7a63e5bfe899

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp312-cp312-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 69923cb0b7d7b2614e520cd71560a85c87ec22968928c7858b0f0f93ff57c04f
MD5 630c1b754f427028ce0db0bded00205b
BLAKE2b-256 c3cd77a4208b6d8af8e73459ca9d6b7c032e623d6451ccf0564c46a5490f30a2

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp312-cp312-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp312-cp312-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 158d83c491ed537086847464d964de0ca376e82b89228ce60b132f6e5d41dc21
MD5 19b70aea0487911ca0809054d63f920a
BLAKE2b-256 2dc7e824a3d2d4856ef9a0e17295e2d3787c6856f73e3c493f848ad4e1f4c31c

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp311-cp311-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 009b813d3ed1355bc0032f9ab24720d77047f83565b506799619a5b7d9523df1
MD5 4d7a838110fe372b149107c818969592
BLAKE2b-256 75d47f9e75624459038c972ce73d11aadc5b61e335375756c68724340b38399b

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp311-cp311-musllinux_1_2_i686.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp311-cp311-musllinux_1_2_i686.whl
Algorithm Hash digest
SHA256 746e285d9c7c5c485f73acdc1b7187dcdfa4a6fd6d37e2e602553b6491e772f6
MD5 3810e4530ccb95240044c365a0327405
BLAKE2b-256 94e0f44b21e8ef21740887fad3c9ff4e881ca0f17d5764a99dc9a3d04d064f40

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 5c4677198b7bc64e330ff0083ca31a8969f28d9cd49ad4eef5cb3c2956af2297
MD5 6974916fbcb2e87396d296e238cd8028
BLAKE2b-256 f92c2a0e9fb1a77916be525157cffdd9529c85029e3f748e5bbd3dd3291cbf8d

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 3cefcfc60884fdf490614a30be2e27bdecb3b0f158c8c201bc6f5ae40f7e2974
MD5 8f3e89a23e368a20d678793597ce116c
BLAKE2b-256 dba6443615811bf4bc8a5e46bccb92fa8015f1610fa8ae10da65543f6027c9cf

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp311-cp311-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 b7bdbcb5ae49ec5da0e37263620d6bc6ca90662d1bdb4973cfafb9c686deba79
MD5 0b6e3bad4e86a87f7e08e2d1b8e2608d
BLAKE2b-256 8ac6dcdca290e287b07b11731ad62e617fca82915cb9d16f70b1695cb135d870

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp311-cp311-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 90e02b0a89141457bf4482726b06b5a858a202a8b9aa4bb7a6f59ce3236fdaf0
MD5 40108d0f68d00cfdb401d30a368ef81c
BLAKE2b-256 0ec855164c34f3378fd71ad26d5db491a636cecfd05a0ec3e7712e5faea3c572

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp310-cp310-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 bfdcf059363e88dc901d716f272141255b9ca4c564f42f184318ce2ba6f6fef3
MD5 98099416ae4086e1df6a43a95d23b80f
BLAKE2b-256 6cc7cc0a6fe7540c8bd6d84038302a388bbd1a1e03848f41dd698f8d8265ae65

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp310-cp310-musllinux_1_2_i686.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp310-cp310-musllinux_1_2_i686.whl
Algorithm Hash digest
SHA256 3582155366f0587c295f4e12aad5906fc6a9129ccdfee8505319a0689d6df83e
MD5 c96344caddd3fead06d1cfecf8d65218
BLAKE2b-256 20f62fdea7ebf3f2d69457b29f79b2e820a57760b1a19cff63ffa44c0a2784a4

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 9e3cbdef1d99cc13c7941aa4c4246e933ad745e1ba57b2b1a46068f9f3bc603e
MD5 24303d58279f850a8ebe9cf096c093dd
BLAKE2b-256 54933d1cd60d3b81fbc7e47cd533ee9ab91e922006b909c15ff8cd56864ab2e7

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 eac55498384464c4ee6b95b04c4c601c89d1d6b1a580b8b0803eedbd05f1499e
MD5 43d883e06f4dd420560463958f052343
BLAKE2b-256 82563ba9a6f662810339ed36ec3a7a83d2f64c92dbf581bed0e9b77c78bb4be1

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp310-cp310-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 73baa9c8e0bdc5181613f36cf92010f5c828a8f3b3350123fa859accca99b0fd
MD5 6d82958aad66a8845300f881eb1ac0c9
BLAKE2b-256 ee7fb57568a57d6ff91c3156ebcec8bf5e3f847999fd1837498ffe1ca6dc2e32

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp310-cp310-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 3fa74aa1d3dc63661809f63a057e4f04d998627595a1b847922e7e4706048c4f
MD5 5e38c7af06e1c80ada1299380e5fb68a
BLAKE2b-256 ba6d964feca6a68ec6ae69a417ec56a771202d24670378d25957a1eeb15e1656

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp39-cp39-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 3698d81cc34bf27b08eb4533545a0f4ec61a1ad1c4e13181207162ca1dcb1199
MD5 2d06d3736b7d45218672c9b4fdb6652e
BLAKE2b-256 8b0fe7d05542129ab77274dbe571d97c632db8a9bf210086b0f612fc4b04b71f

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp39-cp39-musllinux_1_2_i686.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp39-cp39-musllinux_1_2_i686.whl
Algorithm Hash digest
SHA256 2c62f74ad83541d7b1a38eb451a30916d323c182be5c47855b730a1b5cbca0ce
MD5 58b6c8c6fffba9e26d2e6eda5a723910
BLAKE2b-256 dfc88acc86c7fc33826e5ff3671c8046864cb055253af52a12c15d527844418f

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 4af4d2122526ab8eabd39d313d22e1ad6753ac93ce0bccab754d83537752f3a1
MD5 7d0baa18e242014824bb35fe0086a55e
BLAKE2b-256 15232469dadbe7eabd806aa9b11d561b04bf078a99e69bbd725dd395aa63189e

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 bd0e7ca695642143f5cb0939a37d043e8f13d3790060734abd43d3007d411a8a
MD5 1d77efb0dd70c5c7b26be0587498d69c
BLAKE2b-256 5de634fdf72fd81dcec1960968e9b897eb2848b51c8e96f87feac6c18b85b3d4

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp39-cp39-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 a9e92447e9ec84309c44b15a0fefec5bc6f624364bc292d54a1de0ede8d564ee
MD5 4111662c3f2bf4f7ebc88427fbe10673
BLAKE2b-256 74c852f517d83b371a02ae55525cd5ed0c5e303c095b7bb771225c92b46afbef

See more details on using hashes here.

File details

Details for the file passagemath_brial-10.4.62-cp39-cp39-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_brial-10.4.62-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 4a91574c234fa66185fff0be2f0cfb9a755f9c46f81d1960022a7a02326e2667
MD5 9e37f59e5415a69556315d7efd51e2a0
BLAKE2b-256 002f989089546f0a77b432a5b55ddaaf924210c5dbfe58bc9ee6e5b86ac7039f

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page