prime): norm_num plugin for factors (#8009)

Commit

4 years ago

feat(data/nat/prime): norm_num plugin for factors (#8009) Implements a `norm_num` plugin to evaluate terms like `nat.factors 231 = [3, 7, 11]`.

Author

digama0

Parents