10000 provide group order as a type encompassing the Infinity · Issue #8 · kalmarek/GroupsCore.jl · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
provide group order as a type encompassing the Infinity #8
New issue
New issue
Open
Open
provide group order as a type encompassing the Infinity#8
@kalmarek

Description

@kalmarek
kalmarek
opened on Mar 15, 2021

Option to discuss:

  • comparing orders and numbers
  • no arithmetics (promotion rules), you need to convert to a number explicitly

e.g.
https://gist.github.com/kalmarek/640630a53d5837a5c7fe401eb2f047bd

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0