<!-- GENERATED by tools/package_docs.py. Edit this tool metadata or replace the file and remove this marker. -->

# sympolys

`CAIMEOX/symbit/sympolys` is the public import path for this package.

Polynomial domains, polynomial arithmetic, factorization, root finding, Groebner-style helpers, and compatibility layers around symbolic polys.

## When To Use This Package

- Import `CAIMEOX/symbit/sympolys` directly when your code depends on this package's subsystem-specific types or algorithms.
- Prefer this package over the root facade when you want the focused API surface listed below rather than a convenience wrapper.

## Key Public Entry Points

- `add_columns`
- `alg_ext_spec`
- `build_alg_extension`
- `cancel`
- `clear_denominators`
- `compare_exps_grevlex`
- `compare_exps_grlex`
- `compare_exps_igrlex`


## Example

```mbt check
///|
test "sympolys parses domain specifications" {
  let domain = domain_from_string("ZZ")
  inspect(domain_is_zz_pred(domain), content="true")
}
```
## Related Packages

- `CAIMEOX/symbit/symcore`
- `CAIMEOX/symbit/symmatrices`

## Further Reading

- [`../../docs/specs/polys.md`](../../docs/specs/polys.md)