Skip to content

fix: Mantissa overflows - #204

Merged
ABorgna merged 1 commit into
masterfrom
ab/numerical-error
Nov 1, 2026
Merged

ABorgna merged 1 commit into
masterfrom
ab/numerical-error

Conversation

@ABorgna

@ABorgna ABorgna commented Nov 1, 2026

Copy link
Copy Markdown
Collaborator

Fixes the last bug causing #137

@ABorgna
ABorgna added this pull request to the merge queue Nov 1, 2026
Merged via the queue into master with commit f8add52 Nov 1, 2026
37 checks passed
@ABorgna
ABorgna deleted the ab/numerical-error branch November 1, 2026 22:14
zubyul pushed a commit to plurigrid/quizx that referenced this pull request Nov 2, 2026
## 🤖 New release

* `quizx`: 0.3.0 -> 0.4.0 (⚠ API breaking changes)

### ⚠ `quizx` breaking changes

```text
--- failure trait_added_supertrait: non-sealed trait added new supertraits ---

Description:
A non-sealed trait added one or more supertraits, which breaks downstream implementations of the trait
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#generic-bounds-tighten
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.51.0/src/lints/trait_added_supertrait.ron

Failed in:
  trait quizx::tensor::TensorElem gained TryFrom in file /tmp/.tmpYFVENU/quizx/quizx/src/tensor.rs:64

--- failure trait_method_missing: pub trait method removed or renamed ---

Description:
A trait method is no longer callable, and may have been renamed or removed entirely.
        ref: https://doc.rust-lang.org/cargo/reference/semver.html#trait-item-signature
       impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.51.0/src/lints/trait_method_missing.ron

Failed in:
  method to_tensor64 of trait ToTensor, previously in file /tmp/.tmprDJATN/quizx/src/tensor.rs:110
```

<details><summary><i><b>Changelog</b></i></summary><p>

<blockquote>

##
[0.4.0](https://github.com/zxcalc/quizx/compare/quizx@v0.3.0...quizx@v0.4.0)
- 2026-11-01

### Bug Fixes

- typo in README
- bug in cutrank caching
([zxcalc#173](zxcalc#173))
- remove stale edges from rank cache
- another caching bug in rankwidth
- Preserve boundaries and scalars when copying graphs
([zxcalc#199](zxcalc#199))
- Parse Qiskit phase gates in custom QASM definitions
([zxcalc#200](zxcalc#200))
- adding a self-loop should not add two edges
([zxcalc#187](zxcalc#187))
- Support ancilla and post-selection circuit tensors
([zxcalc#203](zxcalc#203))
- Mantissa overflows ([zxcalc#204](zxcalc#204))

### New Features

- [**breaking**] Added dyadic rational type and new scalars based on
this type ([zxcalc#158](zxcalc#158))
- use bitgauss library for fast F2 linear algebra
([zxcalc#161](zxcalc#161))
- [**breaking**] low-rankwidth decompositions of ZX diagrams
([zxcalc#166](zxcalc#166))
- [**breaking**] Python bindings for rankwidth functions
([zxcalc#168](zxcalc#168))
- added keyword args and properties to bindings
([zxcalc#169](zxcalc#169))
- Extend pyzx compatibility to >=0.9,<0.11
([zxcalc#198](zxcalc#198))
- implement approximate equality of tensors with floating point scalars
([zxcalc#137](zxcalc#137))
([zxcalc#182](zxcalc#182))
- implement Circuit::optimize (basic gate-level optimisation)
([zxcalc#193](zxcalc#193))
- implement Z-X bialgebra rewrite rule
([zxcalc#189](zxcalc#189))

### Testing

- add unit tests for gate, phase, util, random_graph, annealer, cli,
json ([zxcalc#188](zxcalc#188))
</blockquote>


</p></details>

---
This PR was generated with
[release-plz](https://github.com/release-plz/release-plz/).

---------

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: Agustín Borgna <agustinborgna@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant