passagemath: Quantifier elimination by partial cylindrical algebraic decomposition with QEPCAD

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for mkoeppe from gravatar.com mkoeppe

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: GNU General Public License v2 or later (GPLv2+) (GNU General Public License (GPL) v2 or later)
  • Author: The Sage Developers
  • Maintainer: Matthias Köppe, passagemath contributors
  • Requires: Python <3.13, >=3.9
  • Provides-Extra: test
Classifiers

Project description

About SageMath

“Creating a Viable Open Source Alternative to

Magma, Maple, Mathematica, and MATLAB”

Copyright (C) 2005-2024 The Sage Development Team

https://www.sagemath.org

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

See https://doc.sagemath.org/html/en/installation/index.html for general installation instructions.

About this pip-installable distribution package

This pip-installable source distribution sagemath-qepcad provides an interface to QEPCAD.

Example

::

$ pipx run –pip-args=”–prefer-binary” –spec “passagemath-qepcad[test]” ipython

In [1]: from sage.all__sagemath_symbolics import *

In [2]: var(‘x,y’)

In [3]: ellipse = 3*x^2 + 2*x*y + y^2 - x + y - 7

In [4]: F = qepcad_formula.exists(y, ellipse == 0); F

In [5]: qepcad(F)

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for mkoeppe from gravatar.com mkoeppe

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: GNU General Public License v2 or later (GPLv2+) (GNU General Public License (GPL) v2 or later)
  • Author: The Sage Developers
  • Maintainer: Matthias Köppe, passagemath contributors
  • Requires: Python <3.13, >=3.9
  • Provides-Extra: test
Classifiers

Release history Release notifications | RSS feed

10.4.64

This version

10.4.63

10.4.62

10.4.61

10.4.60

10.4.59

10.4.58

10.4.57

10.4.56

10.4.53

10.4.50

10.4.47

Download files

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

Source Distribution

passagemath_qepcad-10.4.63.tar.gz (28.0 kB view details)

Uploaded Source

Built Distributions

passagemath_qepcad-10.4.63-cp312-cp312-musllinux_1_2_x86_64.whl (54.9 kB view details)

Uploaded CPython 3.12 musllinux: musl 1.2+ x86-64

passagemath_qepcad-10.4.63-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl (5.4 MB view details)

Uploaded CPython 3.12 manylinux: glibc 2.17+ x86-64 manylinux: glibc 2.5+ x86-64

passagemath_qepcad-10.4.63-cp312-cp312-macosx_14_0_arm64.whl (559.0 kB view details)

Uploaded CPython 3.12 macOS 14.0+ ARM64

passagemath_qepcad-10.4.63-cp312-cp312-macosx_13_0_x86_64.whl (573.8 kB view details)

Uploaded CPython 3.12 macOS 13.0+ x86-64

passagemath_qepcad-10.4.63-cp311-cp311-musllinux_1_2_x86_64.whl (54.9 kB view details)

Uploaded CPython 3.11 musllinux: musl 1.2+ x86-64

passagemath_qepcad-10.4.63-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl (5.4 MB view details)

Uploaded CPython 3.11 manylinux: glibc 2.17+ x86-64 manylinux: glibc 2.5+ x86-64

passagemath_qepcad-10.4.63-cp311-cp311-macosx_14_0_arm64.whl (559.0 kB view details)

Uploaded CPython 3.11 macOS 14.0+ ARM64

passagemath_qepcad-10.4.63-cp311-cp311-macosx_13_0_x86_64.whl (573.7 kB view details)

Uploaded CPython 3.11 macOS 13.0+ x86-64

passagemath_qepcad-10.4.63-cp310-cp310-musllinux_1_2_x86_64.whl (54.0 kB view details)

Uploaded CPython 3.10 musllinux: musl 1.2+ x86-64

passagemath_qepcad-10.4.63-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl (5.4 MB view details)

Uploaded CPython 3.10 manylinux: glibc 2.17+ x86-64 manylinux: glibc 2.5+ x86-64

passagemath_qepcad-10.4.63-cp310-cp310-macosx_14_0_arm64.whl (559.2 kB view details)

Uploaded CPython 3.10 macOS 14.0+ ARM64

passagemath_qepcad-10.4.63-cp310-cp310-macosx_13_0_x86_64.whl (573.9 kB view details)

Uploaded CPython 3.10 macOS 13.0+ x86-64

passagemath_qepcad-10.4.63-cp39-cp39-musllinux_1_2_x86_64.whl (53.8 kB view details)

Uploaded CPython 3.9 musllinux: musl 1.2+ x86-64

passagemath_qepcad-10.4.63-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl (5.4 MB view details)

Uploaded CPython 3.9 manylinux: glibc 2.17+ x86-64 manylinux: glibc 2.5+ x86-64

passagemath_qepcad-10.4.63-cp39-cp39-macosx_14_0_arm64.whl (559.2 kB view details)

Uploaded CPython 3.9 macOS 14.0+ ARM64

passagemath_qepcad-10.4.63-cp39-cp39-macosx_13_0_x86_64.whl (573.9 kB view details)

Uploaded CPython 3.9 macOS 13.0+ x86-64

File details

Details for the file passagemath_qepcad-10.4.63.tar.gz.

File metadata

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

File hashes

Hashes for passagemath_qepcad-10.4.63.tar.gz
Algorithm Hash digest
SHA256 54c10d27b69a7fa9b0a805e60e06fa97ccb5bac0d83b29e7323121e19ed5e5e7
MD5 42df2980adf83abf972e39fc0b688bea
BLAKE2b-256 65240984e19812e97ddbeab0c35545fb975e1766c7f201ed84194face10bc9f4

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.63-cp312-cp312-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.63-cp312-cp312-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 0cb411125e17cbce59c597fab512f9420c9b87c234e6b142a8bb1df49cbecd3d
MD5 b8bb8bba72fc736fcb91ce829a71b17e
BLAKE2b-256 ba97467c1dc398b4965a7f07a9fcb75dea6856c90d98eef21967d9477966c2f1

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.63-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.63-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 6cd19dfec1af4c45b265f5022f39e0948b987f0f79da013e34e85bcdf7ee40aa
MD5 d8597b00437963821bc85d04c831b5d4
BLAKE2b-256 a2237b65bbb5f85a6e086620f3033d4b722692a6f84da272ed77e1d0a33532dd

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.63-cp312-cp312-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.63-cp312-cp312-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 ce8e0ebcaf5c570b5217d0b23954f489b4243d5b666bef6a216dc63114464b71
MD5 e8d0fbd463dbc36c91fd45b5f9fc40b1
BLAKE2b-256 79757370a634e42cdfcc3a8e2fceaba649bba989a667f6f33d6c25343eb6d313

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.63-cp312-cp312-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.63-cp312-cp312-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 7172afb26aee10494259ed77bb25985a406f4630a8f3f2796d0013bd62301eb6
MD5 9496215bd71604710337714f63bb46bc
BLAKE2b-256 10c16aa361c8bd4b73cabe07d6418f6f9587c56d356b850176b52574d99329ae

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.63-cp311-cp311-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.63-cp311-cp311-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 2cbfcdaef2a0d0e402ef18b2664837925d8ec83465378321a1278a08dcd12f8c
MD5 4b9ef37b1205496f25197b0d5a6cf226
BLAKE2b-256 84408abf56a76354bb9a046ef8dae2ad4098283f34999dfc01ffd4877c7ea670

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.63-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.63-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 69419a24a34db9f51ba709866c3c652b6f4b42a0137e719fc28b4ff09e10bcb7
MD5 610e47d11af85d43d1c670d78ffcc176
BLAKE2b-256 2075fcd234c25ba1435d9c2e92ed134cbec0642f8460e05e04cec62c35067fa9

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.63-cp311-cp311-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.63-cp311-cp311-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 39ab2bf188863d70ca48f4f04b14f7e3850b5a79d12b3ee049b9c2cf0aba7e04
MD5 4c7289c82b4dcf3816e8167e2b9b1c54
BLAKE2b-256 f812604826e813fed7bddc5249d1e42538b5a5a2b5fc331a64c1bfed94d5ca99

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.63-cp311-cp311-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.63-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 33c56bf6ef0a1cf36f600e9a98ea2c82f8bb2f8fa0a3a2ca61997d662f179c2a
MD5 e6849b99d11e1bb8f864870d445fc320
BLAKE2b-256 1f9028a2944729756227a76ae325f942794bb5ac6743895e9322eecf36c21cc6

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.63-cp310-cp310-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.63-cp310-cp310-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 c6c978dfa570f51b3db08e885b20754fa45829a74edb68dc885f77cc107b4a13
MD5 4ef9b968e0d03229a12c583c6110e6ae
BLAKE2b-256 61d6b29e52366af5e98910dbbb8f92a2962cb4c8804bff0fe924496a6e783979

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.63-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.63-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 732b2e50fd4b3fe16ff9ece9079ce8a29d8930c6fafe92ab277c414dc72d9f54
MD5 b69791ed7e245b859b3151d8a50230dd
BLAKE2b-256 3207dbc1352b7ba6c960898a66c3adc50b41e4adf5571dfd1ce01688d3d56636

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.63-cp310-cp310-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.63-cp310-cp310-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 ace695969eea77e84626a72c2d2bcbc32c2b31d9289924ff0261406c3b44adb6
MD5 9df5ef0daf82ebe8a0bb1691c789ba3e
BLAKE2b-256 6fc543a89c3ef82fd64804acb5a17d0dd36280dd7260915dc5f5baa7f509f1bc

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.63-cp310-cp310-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.63-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 8523a55e1b8aaeb1f1ed1c9a5aa332a00794d882704508e3a4d305c207fbc911
MD5 7f7a845ed46d8214ef0195ca5ce81947
BLAKE2b-256 76baa9a54f4b1d09746c10b19964a6587048691e742e8ba86862447de891acc6

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.63-cp39-cp39-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.63-cp39-cp39-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 ba6a298986a753d06d52ef9af498bf0ac5a374c11c8dddad0764cb552c7c22d7
MD5 57f24e9c460a790891b99fb9613fa233
BLAKE2b-256 c1f2722f85cc12d234077a7956f23ec344eeb1e71100a2f72977d4c85541246a

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.63-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.63-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 34121bb2bd0b8ba3108b240c98769c318594772e9816a8704782501980d88939
MD5 b4b870fd2452f22543ba70a70c30ffd9
BLAKE2b-256 c906669225c47e5b34aa808bc2078c0b89529da16e867d2a2376f1cfba4efd30

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.63-cp39-cp39-macosx_14_0_arm64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.63-cp39-cp39-macosx_14_0_arm64.whl
Algorithm Hash digest
SHA256 cd58178d8e74076a3f58df5e8f4682fe7f2b1fc0cae63b6f0ff41a8e4d7413cd
MD5 5ea2e78d5e98603966c56f72b665f576
BLAKE2b-256 21235ff69d7db7dc3eab51d80b431c5fcd0da4991de6845f828e70bdf70d86f9

See more details on using hashes here.

File details

Details for the file passagemath_qepcad-10.4.63-cp39-cp39-macosx_13_0_x86_64.whl.

File metadata

File hashes

Hashes for passagemath_qepcad-10.4.63-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm Hash digest
SHA256 cf3238760f9c295d44598f776848521c453f05b86050c66132a70ae6f1303529
MD5 5fc2460c0271e7dfb49afd4f34323a21
BLAKE2b-256 4f5879678e8709fa65493a110a73722574d26e1cf831cd908c086294eeed6ee1

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