Code

Rename isweighted -> is_weighted#2953

Code

Merged

fingolfin merged 2 commits intooscar-system:masteroscar-system/Oscar.jl:masterfrom lgoettgens:lg/is-weightedlgoettgens/Oscar.jl:lg/is-weightedCopy head branch name to clipboardOct 28, 2023

+5-5

Commits

Commits on Oct 24, 2023

• Rename isweighted -> is_weighted and export

  lgoettgens

  committed
  5829174

  Copy full SHA for 5829174

Commits on Oct 27, 2023

• Address comments

  lgoettgens

  committed
  576aeee

  Copy full SHA for 576aeee