Rename reflection to _reflection

Author: janikapeters

src/Groups/spinor_norms.jl

@@ -118,7 +118,7 @@ end
 
 Return the matrix representation of the orthogonal reflection in the row vector `v`.
 """
-function reflection(gram::MatElem, v::MatElem)
+function _reflection(gram::MatElem, v::MatElem)
   n = ncols(gram)
   E = identity_matrix(base_ring(gram), n)
   c = base_ring(gram)(2) * ((v * gram * transpose(v)))[1,1]^(-1)
@@ -154,7 +154,7 @@ function spin(gram_diag::MatElem, isometry::MatElem, check::Bool=true)
     r = v - w
     s = r * G * transpose(r)
     if !iszero(s)
-      tau = reflection(G, r)
+      tau = _reflection(G, r)
       f = f * tau
       @assert w * f == w
       spinor_norm *= s
@@ -164,8 +164,8 @@ function spin(gram_diag::MatElem, isometry::MatElem, check::Bool=true)
       r2 = v
       s2 = r2 * G * transpose(r2)/2
       @assert !iszero(s1) && !iszero(s2)
-      tau1 = reflection(G, r1)
-      tau2 = reflection(G, r2)
+      tau1 = _reflection(G, r1)
+      tau2 = _reflection(G, r2)
       f = f * tau2 * tau1
       @assert w * f == w
       spinor_norm *= s1 * s2
@@ -219,15 +219,15 @@ function det_spin(G::QQMatrix, T::QQMatrix, p, nu)
     bm = g - E[k:k,:]
     qm = bm * G * transpose(bm)
     if valuation(qm, p) <= gammaL[k] + 2*delta
-      tau1 = reflection(G, bm)
+      tau1 = _reflection(G, bm)
       push!(reflection_vectors, bm)
       tau2 = E
     else
       bp = g + E[k:k,:]
       qp = bp * G * transpose(bp)
       @assert valuation(qp, p) <= gammaL[k] + 2*delta
-      tau1 = reflection(G, bp)
-      tau2 = reflection(G, E[k:k,:])
+      tau1 = _reflection(G, bp)
+      tau2 = _reflection(G, E[k:k,:])
       push!(reflection_vectors,bp)
       push!(reflection_vectors,E[k:k,:])
     end