Skip to content

Conversation

JohnAAbbott
Copy link
Collaborator

i thought I had already made this into a draft PR

@JohnAAbbott
Copy link
Collaborator Author

Bother! I meant to choose draft PR. Oh well...
I made a change to Float.jl because the existing code seemed to be incorrect (but I did not add a test).
I note also that the code in Rational.jl is correct only under certain (reasonable) assumptions: e.g. that the denominator must be positive, and numerator and denominator coprime.

@fingolfin
Copy link
Member

Just click on "Convert to draft"...

Copy link

codecov bot commented Oct 15, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 87.95%. Comparing base (2980528) to head (ddd7300).

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #2186   +/-   ##
=======================================
  Coverage   87.95%   87.95%           
=======================================
  Files         127      127           
  Lines       31791    31791           
=======================================
+ Hits        27961    27962    +1     
+ Misses       3830     3829    -1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Comment on lines 179 to 188
@doc raw"""
is_square(a::T) where {T <: NCRingElement}
is_square(M::MatElem)
is_square(M::MatRingElem)
There are two distinct situations:
(1) if the argument is matrix then check whether the matrix **shape** is square
(2) if the argument is not a matrix then check whether the **value** is a square (in the same ring)
"""
function is_square end
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

IMHO this really should be two docstrings:

  • one for is_square(a::NCRingElement)
  • one for is_square(M::MatElem)

Both then can be included in different parts of the manual (one in the ring interface section, one in matrix interface section).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants