mscarey / AuthoritySpoke

Reading legal authority for the last time

Home Page:https://authorityspoke.readthedocs.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

import standard solution for Predicate.includes/excludes_other_quantity

mscarey opened this issue · comments

The real issue these methods try to solve is checking if one inequality includes another, e.g., x > 5 includes x > 3. There's probably a more reliable and flexible implementation that can be imported.

It might require moving away from the pint library.

Pint still looks like the best option for units. Maybe I should check for dimensional consistency using pint, then take just the numbers from the Pint objects and compare them using Sympy

This has been delegated to Nettlesome, which uses Sympy