basic): Semifields (#14683)

Commit

3 years ago

feat(algebra/field/basic): Semifields (#14683) Define division semirings and semifields. Co-authored-by: Yury Kudriashov <urkud@ya.ru>

Author

YaelDillies

Parents