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.53.tar.gz (81.6 kB view details)

Uploaded Source

Built Distributions

passagemath_brial-10.4.53-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.53-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.53-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.53-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.53-cp312-cp312-macosx_14_0_arm64.whl (6.3 MB view details)

Uploaded CPython 3.12 macOS 14.0+ ARM64

passagemath_brial-10.4.53-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.53-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.53-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.53-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.53-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.53-cp311-cp311-macosx_14_0_arm64.whl (6.3 MB view details)

Uploaded CPython 3.11 macOS 14.0+ ARM64

passagemath_brial-10.4.53-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.53-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.53-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.53-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.53-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.53-cp310-cp310-macosx_14_0_arm64.whl (6.3 MB view details)

Uploaded CPython 3.10 macOS 14.0+ ARM64

passagemath_brial-10.4.53-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.53-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.53-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.53-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.53-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.53-cp39-cp39-macosx_14_0_arm64.whl (6.3 MB view details)

Uploaded CPython 3.9 macOS 14.0+ ARM64

passagemath_brial-10.4.53-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.53.tar.gz.

File metadata

  • Download URL: passagemath_brial-10.4.53.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.53.tar.gz
Algorithm Hash digest
SHA256 93747a0a86bbc330b17356a964b8d9b70247b7d19a38a42cbd1b3ab5ba550296
MD5 f11f146debb5091e203ed7fffb12494c
BLAKE2b-256 6ad5b42928989f4b9a38babbf2aee1c3d497198f0a17e5a1b18e4858459d495a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 9b2aa5ee9f0f049beebc8a4964af2e4aaf104218c23ca3594fed18229460253d
MD5 e7bc8e003b68cff5dca3097e8cc7f69f
BLAKE2b-256 926b42f8b53abfd98158a617d1c1cb44fc052b1841b56297e7b5b6bdba6620e6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp312-cp312-musllinux_1_2_i686.whl
Algorithm Hash digest
SHA256 0ef0cb938b16b6eb1ac5333a197add9be752c461dcb3cb71796487e9e3bc5dd2
MD5 48fc239ec94bb7554a851e070e5447a2
BLAKE2b-256 7b35d19fc31e9daea83e9b110b919cce44001627b11f54280aee5d965838477a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 e416e4d2d61d7fb8e47f3f32d7c6dff8eceed56b6aa4b224646a1e3a4d5e803f
MD5 1eb23d1d1541e87cacebc4f64e103041
BLAKE2b-256 5b0d97ce5f5e92dc288ed580e456123063b28aacdf1024d328a613b6cc2fea98

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp312-cp312-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 c23e6f963a6ec988a18e23a18e9cd8a1fbfc323dd1a0b6f7c73b2476ddb5432d
MD5 168e02541ef8f133f4659b714c16c2b1
BLAKE2b-256 f6d2f0166165622edffa4371d86fdcb27573b93e9c607128c76472f02f1d9f99

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 ecbfd8b9be8d9dc57e1ac9a4932ced0a3a0496bbca7419d045c48ea62918dd1d
MD5 b1d09be3bc74cd60f5e57db2114b5a0c
BLAKE2b-256 8c095dd33a57e11dc6988b8d6987cbe43cc5230b55ccf7462f971bbd2b480fef

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp312-cp312-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 59777d609e7d320cd74c7c3ffa45023806f9d5be8b9a58ade60b2b4211165501
MD5 637f320660e4e5f1a0e99610700816f6
BLAKE2b-256 f0a95fd9ddaa01fe1bf55efccdb2991ae602e485c88e921f838178a34ad6c5ff

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 cb9118177eeb36456dd4f514d6bb9106b9a57e074b8ef44ac34b1c797dd0fbe7
MD5 64bcf0ecf3ffbce646d3dbdd7a69559e
BLAKE2b-256 c08afeda425bb39f8668438b522acf845d6b9c2427a135ca45846e56f7e7ac47

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp311-cp311-musllinux_1_2_i686.whl
Algorithm Hash digest
SHA256 4c442df20f3393bb422ba5cc59f4fc26b93398223c60247738c534200099b6ee
MD5 86d3f42b9386587b547b9ba5b2b080be
BLAKE2b-256 b77111b63b64d171b86c1f65d31d61460182aaa28526d37b78a93c1206f194ff

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 527b4563c8f9dd3d655532ee3564859e8fcc4eb161e4e72f5ccaecb601f0add6
MD5 fd34070cce57c6f71a1f6cb70054602f
BLAKE2b-256 94779e71e134d0aff7a1baac5c47a82b6622aa601062b7f826e15c2a70d52759

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 faa171d8b2ac69d88c635562a8ef1c8669bbbe9603db4c3054410be4b0562da6
MD5 c12d04c5059437352bf4fccce58a387e
BLAKE2b-256 c5b32b339ab4da42e676e00567135ff6389e263caf8240b30b632871da2b310d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 d3471c646957c3f44d7cf8fcb60a76e75ad8e7fc5337f805ca43cb7fb958c344
MD5 0ced4f7425e91e83143de11ab5a5a83d
BLAKE2b-256 7fded494e205360fd3affb7f97a6324aa881a539fbd31625d18758aacdf05828

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 88d08f8b5c479de38f950e39e5e2fc0d05300a0c0adaea531f4b89442dd5897c
MD5 7e16e349a548c2638cd1be5aabe4a8d0
BLAKE2b-256 1b679cc8036a1f2e235a22a3f8df9b717faaea649f04de740a1d7be9c9368fb1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 1b8f1f7f35f32501ebd1a96756da269c56ebb3309ffe7d108c428a378855333f
MD5 934d9080a47ac6632e2a7fc93f183292
BLAKE2b-256 034a37d5856710f4cdd87ce5b0ef1ef14548bb13a95d8a9ffc3e4f9812d06ff8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp310-cp310-musllinux_1_2_i686.whl
Algorithm Hash digest
SHA256 8e8443c6b46bb86fe64d1511b7229369425502d6933bb2c5f19010d0fba2ae7f
MD5 fe6f49dd1f37e400ba32e3f6fbb152ad
BLAKE2b-256 7139eef01e3c6f3b59c4a212d609435b173c09e60062088a2876d49111dcfa45

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 9ebecb362bb07a77b9bff864e4d3724529135ae4636d3ebddea6a3abdafc23d4
MD5 0eae62520a606d84038e9cac0e1ef95b
BLAKE2b-256 2600aa3d212a39cc30ca30d98a0adefcc7e8d13ef9af14dda8e426e8afa945d3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 9e74f1c8f6646395e76d0214b365040f4e5ea55b37ef8adbf26bea3e35af07b2
MD5 f3369e9916b271d3e2923de476229ec7
BLAKE2b-256 0d082563db57474abcf6d664202c19acb296cd1e2716ce70a7f961e8e8858a3e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 b5aebc96d560cef02efcdfbf46a2a9af5955d771b4753ee5f9cc14ea4127084b
MD5 7f9d8210f56a95bc862df2feebf25f1f
BLAKE2b-256 b89ef51a410e0636b5c2fb0c0e7e726b46445c138d1711399aade27a288256b7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 d16f7e7cb3dac56698a654f9d285e4bacb884f620e80a928f2cb97725e7f96e6
MD5 e69aace22f9749cf5b25e1acea713130
BLAKE2b-256 265ec706f184a23addb8a6f4bd2eb631ac56e4d0bf61217518747ff81019e54a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c27321afa6e89ff70d2ef66329b087f82a85bdee534380febd8729413a8e3c2d
MD5 cd69d5b16631fe2652138a2aef6ae0b9
BLAKE2b-256 2a48b92d59e78531f133d1ff4c815ea70e3546f8fce7f70c8e882299605340b4

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp39-cp39-musllinux_1_2_i686.whl
Algorithm Hash digest
SHA256 72eb66756c2fca863878f08362d8a79c4f31d52d9f2f301e63df8d8af6fc2008
MD5 eb86c7b48852cfb93d1529604ce63ffe
BLAKE2b-256 925780776edcd35d909e028a488a5a8129147cda34fd41b85a18f30582134846

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 4d8d032ace03393bd04288a899d8ec0958689d408cc849880c80c7b564bfb56e
MD5 337e7d729f5dea37b37470d0b22278bf
BLAKE2b-256 f574f8af3c9b7e8fa3bf55f1649b82f27a44f66fe26991914ea06f072470e208

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp39-cp39-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 3528ca86fb1463e8fac4cf5bf46863c56cedf163330dbff96d0cb94034a89949
MD5 6327c787617bae073139370dfd401f38
BLAKE2b-256 f4a4bd7bfd8fd359128939dc8f18580df231404a7d2774af73b699524fe508fd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 ec9a30adf11d09f50d725fd7daebfb97cdd5d70d7fe57f61d73ab2777259529a
MD5 7042be8d9964e4fb62d1bebc2ad6628f
BLAKE2b-256 7b85f681b30e1fd68abdee29b609673ee7e2c36919c2f795c1412a1b118fdf3f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for passagemath_brial-10.4.53-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 8b75cc3f5be3f156c9940f766586357444f62a5481510847b930aa392e3a9023
MD5 8021378822642addf1b92f30ca53d19e
BLAKE2b-256 32e6f52320b2823acf6d83a94bf632e6fa3f61f93445dfcfaed83a8a0e840fb3

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