Skip to content

[Bug]: LeftOrder and RightOrder must be finite #224

@limakzi

Description

@limakzi

What happened?

Since we redefined the definition of left right order to match it semigroups, align these functions too.

Version

0.5.0 (Default)

What browsers are you seeing the problem on?

No response

Relevant log output

Code of Conduct

  • I agree to follow this project's Code of Conduct

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Type

No type
No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions