Skip to content

Commit

Permalink
whitespace
Browse files Browse the repository at this point in the history
  • Loading branch information
mohamed-barakat committed Aug 22, 2024
1 parent 5d2e553 commit 680a583
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions MatricesForHomalg/gap/Tools.gi
Original file line number Diff line number Diff line change
@@ -8155,14 +8155,13 @@ InstallMethod( RingMapOntoSimplifiedResidueClassRing,
pi := RingMapOntoRewrittenResidueClassRing( R ); # replace pi: A -> R = A / I by pi: A -> R_1 := A_1 / I_1

while true do

## construct the surjective morphism psi: A_i -> A_{i+1} / I_{i+1} =: R_{i+1}
psi := RingMapOntoSimplifiedOnceResidueClassRing( Range( pi ) );

if HasIsOne( psi ) and IsOne( psi ) then
break;
fi;


## compose A -pi-> A_i / I_i -psi-> A_{i+1} / I_{i+1},
## where we understand the above psi as the isomorphism psi: A_i / I_i -psi-> A_{i+1} / I_{i+1}

0 comments on commit 680a583

Please sign in to comment.