Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

TruthMorphismOfTrueToSieveFunctorAndEmbedding successfully compiled in 427 minutes ~ 7 hours #83

Open
mohamed-barakat opened this issue Oct 20, 2022 · 0 comments
Open

TruthMorphismOfTrueToSieveFunctorAndEmbedding successfully compiled in 427 minutes ~ 7 hours #83

mohamed-barakat opened this issue Oct 20, 2022 · 0 comments

Comments

@mohamed-barakat
Copy link
Member

mohamed-barakat commented Oct 20, 2022 •
edited
Loading

TruthMorphismOfTrueToSieveFunctorAndEmbedding is needed in PreSheaves to install:

  • SubobjectClassifier
  • TruthMorphismOfTrueWithGivenObjects
  • SievesOfPathsToTruth needed to install
    • ClassifyingMorphismOfSubobjectWithGivenSubobjectClassifier
Error, reached the pre-set memory limit
(change it with the -o command line option) in ...

Timer sieves (stopped): started 1 times with a total runtime of 25661274 ms ( = 25661274000 μs per run)
function ( B_1 )
    local hoisted_1_1, hoisted_2_1, hoisted_3_1, hoisted_4_1, hoisted_5_1, hoisted_6_1, hoisted_7_1, hoisted_8_1, hoisted_9_1, hoisted_10_1, hoisted_11_1, hoisted_12_1,
    hoisted_13_1, hoisted_14_1, hoisted_15_1, hoisted_16_1, hoisted_17_1, hoisted_18_1, hoisted_19_1, hoisted_20_1, hoisted_21_1, hoisted_22_1, hoisted_23_1,
    hoisted_24_1, hoisted_25_1, hoisted_26_1, hoisted_27_1, hoisted_28_1, hoisted_29_1, hoisted_30_1, hoisted_31_1, hoisted_32_1, hoisted_33_1, hoisted_34_1,
    deduped_35_1, deduped_36_1, deduped_37_1, deduped_38_1, deduped_39_1, deduped_40_1, deduped_41_1, deduped_42_1, deduped_43_1, deduped_44_1;
    deduped_44_1 := BasisPathsByVertexIndex( B_1 );
    deduped_43_1 := RangeCategoryOfHomomorphismStructure( B_1 );
    deduped_42_1 := SetOfGeneratingMorphisms( B_1 );
    deduped_41_1 := SetOfObjects( B_1 );
    deduped_40_1 := CreateCapCategoryObjectWithAttributes( deduped_43_1, Length, 1 );
    deduped_39_1 := Length( deduped_42_1 );
    deduped_38_1 := Length( deduped_41_1 );
    deduped_37_1 := [ 1 .. deduped_39_1 ];
    deduped_36_1 := [ 1 .. deduped_38_1 ];
    hoisted_23_1 := deduped_43_1;
    hoisted_21_1 := [ 1 ];
    hoisted_20_1 := UnderlyingQuiverAlgebra( B_1 );
    hoisted_19_1 := deduped_44_1;
    hoisted_18_1 := List( deduped_41_1, function ( logic_new_func_x_2 )
            return VertexIndex( UnderlyingVertex( logic_new_func_x_2 ) );
        end );
    hoisted_12_1 := [ 1 .. Length( deduped_36_1 ) ];
    hoisted_4_1 := deduped_36_1;
    hoisted_2_1 := deduped_41_1;
    hoisted_1_1 := List( deduped_44_1, function ( logic_new_func_list_2 )
            return List( logic_new_func_list_2, Length );
        end );
    hoisted_3_1 := List( deduped_41_1, function ( logic_new_func_x_2 )
            local hoisted_1_2;
            hoisted_1_2 := VertexIndex( UnderlyingVertex( logic_new_func_x_2 ) );
            return List( hoisted_2_1, function ( logic_new_func_x_3 )
                    return hoisted_1_1[VertexIndex( UnderlyingVertex( logic_new_func_x_3 ) )][hoisted_1_2];
                end );
        end );
    hoisted_11_1 := List( deduped_36_1, function ( logic_new_func_x_2 )
            local hoisted_1_2;
            hoisted_1_2 := hoisted_3_1[logic_new_func_x_2];
            return List( hoisted_4_1, function ( logic_new_func_x_3 )
                    return List( hoisted_4_1, function ( logic_new_func_x_4 )
                            return [ hoisted_3_1[logic_new_func_x_4][logic_new_func_x_3], hoisted_1_2[logic_new_func_x_4] ];
                        end );
                end );
        end );
    hoisted_6_1 := List( deduped_36_1, function ( logic_new_func_x_2 )
            local hoisted_1_2;
            hoisted_1_2 := hoisted_3_1[logic_new_func_x_2];
            return List( hoisted_4_1, function ( logic_new_func_x_3 )
                    return List( hoisted_4_1, function ( logic_new_func_x_4 )
                            return hoisted_3_1[logic_new_func_x_4][logic_new_func_x_3] * hoisted_1_2[logic_new_func_x_4];
                        end );
                end );
        end );
    hoisted_10_1 := List( deduped_36_1, function ( logic_new_func_x_2 )
            local hoisted_1_2;
            hoisted_1_2 := hoisted_6_1[logic_new_func_x_2];
            return List( hoisted_4_1, function ( logic_new_func_x_3 )
                    local hoisted_1_3;
                    hoisted_1_3 := hoisted_1_2[logic_new_func_x_3];
                    return List( hoisted_4_1, function ( logic_new_func_x_4 )
                            return hoisted_1_3[logic_new_func_x_4];
                        end );
                end );
        end );
    hoisted_22_1 := List( deduped_36_1, function ( logic_new_func_x_2 )
            local hoisted_1_2, hoisted_2_2, hoisted_3_2, hoisted_4_2, hoisted_5_2, hoisted_6_2, hoisted_7_2, hoisted_8_2;
            hoisted_7_2 := hoisted_11_1[logic_new_func_x_2];
            hoisted_6_2 := hoisted_6_1[logic_new_func_x_2];
            hoisted_5_2 := hoisted_18_1[logic_new_func_x_2];
            hoisted_1_2 := hoisted_10_1[logic_new_func_x_2];
            hoisted_8_2 := List( hoisted_4_1, function ( logic_new_func_x_3 )
                    local hoisted_1_3, hoisted_2_3, hoisted_3_3, hoisted_4_3, hoisted_5_3, deduped_6_3;
                    deduped_6_3 := hoisted_19_1[hoisted_18_1[logic_new_func_x_3]];
                    hoisted_5_3 := deduped_6_3[hoisted_5_2];
                    hoisted_4_3 := hoisted_7_2[logic_new_func_x_3];
                    hoisted_3_3 := hoisted_6_2[logic_new_func_x_3];
                    hoisted_2_3 := deduped_6_3;
                    hoisted_1_3 := hoisted_1_2[logic_new_func_x_3];
                    return Concatenation( List( hoisted_4_1, function ( logic_new_func_x_4 )
                              local hoisted_1_4, hoisted_2_4, hoisted_3_4, hoisted_4_4, hoisted_5_4, hoisted_6_4, deduped_7_4, deduped_8_4, deduped_9_4;
                              deduped_9_4 := hoisted_18_1[logic_new_func_x_4];
                              deduped_8_4 := hoisted_4_3[logic_new_func_x_4];
                              deduped_7_4 := [ 0 .. hoisted_3_3[logic_new_func_x_4] - 1 ];
                              hoisted_6_4 := hoisted_19_1[deduped_9_4][hoisted_5_2];
                              hoisted_4_4 := deduped_8_4[2];
                              hoisted_1_4 := deduped_8_4[1];
                              hoisted_5_4 := List( deduped_7_4, function ( i_5 )
                                      return REM_INT( QUO_INT( i_5, hoisted_1_4 ), hoisted_4_4 );
                                  end );
                              hoisted_3_4 := hoisted_2_3[deduped_9_4];
                              hoisted_2_4 := List( deduped_7_4, function ( i_5 )
                                      return REM_INT( i_5, hoisted_1_4 );
                                  end );
                              return List( [ 0 .. hoisted_1_3[logic_new_func_x_4] - 1 ], function ( i_5 )
                                      local deduped_1_5;
                                      deduped_1_5 := 1 + i_5;
                                      return
                                       -1
                                        + SafePosition( hoisted_5_3, BasisPathOfPathAlgebraBasisElement(
                                             QuiverAlgebraElement( hoisted_20_1, hoisted_21_1, hoisted_3_4{[ (1 + hoisted_2_4[deduped_1_5]) ]} )
                                              * QuiverAlgebraElement( hoisted_20_1, hoisted_21_1, hoisted_6_4{[ (1 + hoisted_5_4[deduped_1_5]) ]} ) ) );
                                  end );
                          end ) );
                end );
            hoisted_3_2 := hoisted_3_1[logic_new_func_x_2];
            hoisted_4_2 := List( hoisted_4_1, function ( logic_new_func_x_3 )
                    return hoisted_3_2[logic_new_func_x_3];
                end );
            hoisted_2_2 := List( hoisted_4_1, function ( logic_new_func_x_3 )
                    local hoisted_1_3;
                    hoisted_1_3 := hoisted_1_2[logic_new_func_x_3];
                    return Sum( List( hoisted_4_1, function ( logic_new_func_x_4 )
                              return hoisted_1_3[logic_new_func_x_4];
                          end ) );
                end );
            return Concatenation( List( hoisted_12_1, function ( logic_new_func_x_3 )
                      local hoisted_1_3, hoisted_2_3, deduped_3_3;
                      deduped_3_3 := Sum( hoisted_4_2{[ 1 .. logic_new_func_x_3 - 1 ]} );
                      hoisted_2_3 := [ deduped_3_3 .. deduped_3_3 + hoisted_4_2[logic_new_func_x_3] - 1 ];
                      hoisted_1_3 := hoisted_8_2[logic_new_func_x_3];
                      return List( [ 0 .. hoisted_2_2[logic_new_func_x_3] - 1 ], function ( i_4 )
                              return hoisted_2_3[1 + hoisted_1_3[(1 + i_4)]];
                          end );
                  end ) );
        end );
    hoisted_14_1 := deduped_38_1;
    hoisted_13_1 := List( deduped_36_1, function ( logic_new_func_x_2 )
            local hoisted_1_2;
            hoisted_1_2 := hoisted_10_1[logic_new_func_x_2];
            return Concatenation( List( hoisted_4_1, function ( logic_new_func_x_3 )
                      return List( hoisted_4_1, function ( logic_new_func_x_4 )
                              return hoisted_1_2[logic_new_func_x_4][logic_new_func_x_3];
                          end );
                  end ) );
        end );
    hoisted_15_1 := List( deduped_36_1, function ( logic_new_func_x_2 )
            local hoisted_1_2;
            hoisted_1_2 := hoisted_13_1[logic_new_func_x_2];
            return Concatenation( Concatenation( List( hoisted_4_1, function ( logic_new_func_x_3 )
                        return List( hoisted_4_1, function ( logic_new_func_x_4 )
                                local deduped_1_4, deduped_2_4;
                                deduped_2_4 := hoisted_14_1 * (logic_new_func_x_4 - 1) + logic_new_func_x_3;
                                deduped_1_4 := Sum( hoisted_1_2{[ 1 .. deduped_2_4 - 1 ]} );
                                return [ deduped_1_4 .. deduped_1_4 + hoisted_1_2[deduped_2_4] - 1 ];
                            end );
                    end ) ) );
        end );
    hoisted_16_1 := List( deduped_36_1, function ( logic_new_func_x_2 )
            return hoisted_15_1[logic_new_func_x_2];
        end );
    hoisted_7_1 := List( deduped_36_1, function ( logic_new_func_x_2 )
            local hoisted_1_2;
            hoisted_1_2 := hoisted_6_1[logic_new_func_x_2];
            return Sum( Concatenation( List( hoisted_4_1, function ( logic_new_func_x_3 )
                        local hoisted_1_3;
                        hoisted_1_3 := hoisted_1_2[logic_new_func_x_3];
                        return List( hoisted_4_1, function ( logic_new_func_x_4 )
                                return hoisted_1_3[logic_new_func_x_4];
                            end );
                    end ) ) );
        end );
    hoisted_8_1 := List( deduped_36_1, function ( logic_new_func_x_2 )
            return hoisted_7_1[logic_new_func_x_2];
        end );
    hoisted_17_1 := List( deduped_36_1, function ( logic_new_func_x_2 )
            local hoisted_1_2, hoisted_2_2, hoisted_3_2, hoisted_4_2, hoisted_5_2, hoisted_6_2, hoisted_7_2, hoisted_8_2, hoisted_9_2;
            hoisted_6_2 := hoisted_11_1[logic_new_func_x_2];
            hoisted_5_2 := hoisted_6_1[logic_new_func_x_2];
            hoisted_7_2 := List( hoisted_4_1, function ( logic_new_func_x_3 )
                    return Concatenation( List( hoisted_4_1, function ( logic_new_func_x_4 )
                              local hoisted_1_4, hoisted_2_4, deduped_3_4;
                              deduped_3_4 := hoisted_6_2[logic_new_func_x_4][logic_new_func_x_3];
                              hoisted_2_4 := deduped_3_4[2];
                              hoisted_1_4 := deduped_3_4[1];
                              return List( [ 0 .. hoisted_5_2[logic_new_func_x_4][logic_new_func_x_3] - 1 ], function ( i_5 )
                                      return REM_INT( QUO_INT( i_5, hoisted_1_4 ), hoisted_2_4 );
                                  end );
                          end ) );
                end );
            hoisted_3_2 := hoisted_3_1[logic_new_func_x_2];
            hoisted_4_2 := List( hoisted_4_1, function ( logic_new_func_x_3 )
                    return hoisted_3_2[logic_new_func_x_3];
                end );
            hoisted_1_2 := hoisted_10_1[logic_new_func_x_2];
            hoisted_2_2 := List( hoisted_4_1, function ( logic_new_func_x_3 )
                    return Sum( List( hoisted_4_1, function ( logic_new_func_x_4 )
                              return hoisted_1_2[logic_new_func_x_4][logic_new_func_x_3];
                          end ) );
                end );
            hoisted_9_2 := Concatenation( List( hoisted_12_1, function ( logic_new_func_x_3 )
                      local hoisted_1_3, hoisted_2_3, deduped_3_3;
                      deduped_3_3 := Sum( hoisted_4_2{[ 1 .. logic_new_func_x_3 - 1 ]} );
                      hoisted_2_3 := [ deduped_3_3 .. deduped_3_3 + hoisted_4_2[logic_new_func_x_3] - 1 ];
                      hoisted_1_3 := hoisted_7_2[logic_new_func_x_3];
                      return List( [ 0 .. hoisted_2_2[logic_new_func_x_3] - 1 ], function ( i_4 )
                              return hoisted_2_3[1 + hoisted_1_3[(1 + i_4)]];
                          end );
                  end ) );
            hoisted_8_2 := hoisted_16_1[logic_new_func_x_2];
            return List( [ 0 .. hoisted_8_1[logic_new_func_x_2] - 1 ], function ( i_3 )
                    return hoisted_9_2[1 + hoisted_8_2[(1 + i_3)]];
                end );
        end );
    hoisted_9_1 := List( deduped_36_1, function ( logic_new_func_x_2 )
            return hoisted_8_1[logic_new_func_x_2];
        end );
    hoisted_5_1 := List( deduped_36_1, function ( logic_new_func_x_2 )
            local hoisted_1_2;
            hoisted_1_2 := hoisted_3_1[logic_new_func_x_2];
            return Sum( List( hoisted_4_1, function ( logic_new_func_x_3 )
                      return hoisted_1_2[logic_new_func_x_3];
                  end ) );
        end );
    deduped_35_1 := List( deduped_36_1, function ( logic_new_func_x_2 )
            local hoisted_1_2, hoisted_2_2, hoisted_3_2, hoisted_4_2, hoisted_5_2, hoisted_6_2, hoisted_7_2, hoisted_8_2, hoisted_9_2, hoisted_10_2, deduped_11_2,
            deduped_12_2, deduped_13_2, deduped_14_2;
            deduped_14_2 := hoisted_5_1[logic_new_func_x_2];
            deduped_13_2 := 2 ^ deduped_14_2;
            deduped_12_2 := [ 0 .. deduped_14_2 - 1 ];
            deduped_11_2 := [ 0 .. deduped_13_2 - 1 ];
            hoisted_9_2 := CAP_JIT_INCOMPLETE_LOGIC( [ 0 .. deduped_14_2 ^ deduped_14_2 - 1 ][1 + deduped_14_2 * GeometricSumDiff1( deduped_14_2, deduped_14_2 )] );
            hoisted_8_2 := hoisted_22_1[logic_new_func_x_2];
            hoisted_7_2 := hoisted_17_1[logic_new_func_x_2];
            hoisted_6_2 := hoisted_9_1[logic_new_func_x_2];
            hoisted_5_2 := deduped_12_2;
            hoisted_1_2 := deduped_13_2;
            hoisted_4_2 := List( [ 0 .. deduped_13_2 * deduped_14_2 - 1 ], function ( i_3 )
                    return REM_INT( QUO_INT( i_3, 2 ^ QUO_INT( i_3, hoisted_1_2 ) ), 2 );
                end );
            hoisted_2_2 := deduped_14_2;
            hoisted_3_2 := List( deduped_12_2, function ( logic_new_func_x_3 )
                    return REM_INT( logic_new_func_x_3, hoisted_2_2 );
                end );
            hoisted_10_2 := List( deduped_11_2, function ( i_3 )
                    local hoisted_1_3, hoisted_2_3, hoisted_3_3, hoisted_4_3, hoisted_5_3, hoisted_6_3, hoisted_7_3, hoisted_8_3, hoisted_9_3, deduped_10_3,
                    deduped_11_3, deduped_12_3, deduped_13_3;
                    hoisted_1_3 := List( hoisted_5_2, function ( logic_new_func_x_4 )
                            return hoisted_4_2[1 + (i_3 + hoisted_3_2[(1 + logic_new_func_x_4)] * hoisted_1_2)];
                        end );
                    deduped_13_3 := Filtered( hoisted_5_2, function ( x_4 )
                            return hoisted_1_3[1 + REM_INT( x_4, hoisted_2_2 )] = 1;
                        end );
                    deduped_12_3 := Length( deduped_13_3 );
                    deduped_11_3 := [ 0 .. hoisted_6_2 * deduped_12_3 - 1 ];
                    hoisted_2_3 := deduped_13_3;
                    hoisted_4_3 := List( [ 0 .. deduped_12_3 - 1 ], function ( i_4 )
                            return hoisted_3_2[1 + hoisted_2_3[(1 + i_4)]];
                        end );
                    hoisted_3_3 := deduped_12_3;
                    deduped_10_3 := Filtered( deduped_11_3, function ( x_4 )
                            return hoisted_7_2[1 + REM_INT( x_4, hoisted_6_2 )] = hoisted_4_3[1 + REM_INT( QUO_INT( x_4, hoisted_6_2 ), hoisted_3_3 )];
                        end );
                    hoisted_6_3 := List( deduped_11_3, function ( i_4 )
                            return REM_INT( i_4, hoisted_6_2 );
                        end );
                    hoisted_5_3 := deduped_10_3;
                    hoisted_7_3 := List( [ 0 .. Length( deduped_10_3 ) - 1 ], function ( logic_new_func_x_4 )
                            return hoisted_8_2[1 + hoisted_6_3[(1 + hoisted_5_3[(1 + logic_new_func_x_4)])]];
                        end );
                    hoisted_8_3 := List( hoisted_5_2, function ( x_4 )
                            if x_4 in hoisted_7_3 then
                                return 1;
                            else
                                return 0;
                            fi;
                            return;
                        end );
                    hoisted_9_3 := List( hoisted_5_2, function ( logic_new_func_x_4 )
                            return hoisted_8_3[1 + REM_INT( QUO_INT( hoisted_9_2, hoisted_2_2 ^ logic_new_func_x_4 ), hoisted_2_2 )];
                        end );
                    return Sum( List( hoisted_5_2, function ( k_4 )
                              return hoisted_9_3[(1 + k_4)] * 2 ^ k_4;
                          end ) );
                end );
            return CreateCapCategoryObjectWithAttributes( hoisted_23_1, Length, Length( Filtered( deduped_11_2, function ( x_3 )
                        return hoisted_10_2[1 + x_3] = x_3;
                    end ) ) );
        end );
    hoisted_34_1 := deduped_40_1;
    hoisted_32_1 := [ 0, 1 ];
    hoisted_30_1 := HomStructureOnBasisPaths( B_1 );
    hoisted_31_1 := List( deduped_42_1, function ( logic_new_func_x_2 )
            local hoisted_1_2, hoisted_2_2, hoisted_3_2, hoisted_4_2, hoisted_5_2, hoisted_6_2, deduped_7_2, deduped_8_2;
            deduped_8_2 := VertexIndex( UnderlyingVertex( Range( logic_new_func_x_2 ) ) );
            deduped_7_2 := VertexIndex( UnderlyingVertex( Source( logic_new_func_x_2 ) ) );
            hoisted_5_2 := SafePosition( hoisted_19_1[deduped_7_2][deduped_8_2], BasisPathOfPathAlgebraBasisElement( UnderlyingQuiverAlgebraElement( logic_new_func_x_2
                   ) ) );
            hoisted_3_2 := deduped_8_2;
            hoisted_1_2 := deduped_7_2;
            hoisted_6_2 := List( hoisted_2_1, function ( logic_new_func_x_3 )
                    local hoisted_1_3, deduped_2_3, deduped_3_3;
                    deduped_3_3 := UnderlyingVertex( logic_new_func_x_3 );
                    deduped_2_3 := VertexIndex( deduped_3_3 );
                    hoisted_1_3 := hoisted_30_1[deduped_2_3][hoisted_1_2][deduped_2_3][hoisted_3_2][SafePosition( hoisted_19_1[deduped_2_3][deduped_2_3],
                          QuiverVertexAsIdentityPath( deduped_3_3 ) )][hoisted_5_2];
                    return List( [ 1 .. hoisted_1_1[deduped_2_3][hoisted_1_2] ], function ( phi_index_4 )
                            return hoisted_1_3[phi_index_4];
                        end );
                end );
            hoisted_4_2 := List( hoisted_2_1, function ( logic_new_func_x_3 )
                    return hoisted_1_1[VertexIndex( UnderlyingVertex( logic_new_func_x_3 ) )][hoisted_3_2];
                end );
            hoisted_2_2 := List( hoisted_2_1, function ( logic_new_func_x_3 )
                    return hoisted_1_1[VertexIndex( UnderlyingVertex( logic_new_func_x_3 ) )][hoisted_1_2];
                end );
            return Concatenation( List( hoisted_4_1, function ( logic_new_func_x_3 )
                      local hoisted_1_3, hoisted_2_3, deduped_3_3;
                      deduped_3_3 := Sum( hoisted_4_2{[ 1 .. logic_new_func_x_3 - 1 ]} );
                      hoisted_2_3 := [ deduped_3_3 .. deduped_3_3 + hoisted_4_2[logic_new_func_x_3] - 1 ];
                      hoisted_1_3 := hoisted_6_2[logic_new_func_x_3];
                      return List( [ 0 .. hoisted_2_2[logic_new_func_x_3] - 1 ], function ( i_4 )
                              return hoisted_2_3[1 + hoisted_1_3[(1 + i_4)]];
                          end );
                  end ) );
        end );
    hoisted_29_1 := List( deduped_42_1, function ( logic_new_func_x_2 )
            local hoisted_1_2;
            hoisted_1_2 := VertexIndex( UnderlyingVertex( Source( logic_new_func_x_2 ) ) );
            return Sum( List( hoisted_2_1, function ( logic_new_func_x_3 )
                      return hoisted_1_1[VertexIndex( UnderlyingVertex( logic_new_func_x_3 ) )][hoisted_1_2];
                  end ) );
        end );
    hoisted_28_1 := List( deduped_42_1, function ( logic_new_func_x_2 )
            local hoisted_1_2;
            hoisted_1_2 := VertexIndex( UnderlyingVertex( Range( logic_new_func_x_2 ) ) );
            return Sum( List( hoisted_2_1, function ( logic_new_func_x_3 )
                      return hoisted_1_1[VertexIndex( UnderlyingVertex( logic_new_func_x_3 ) )][hoisted_1_2];
                  end ) );
        end );
    hoisted_33_1 := List( deduped_37_1, function ( logic_new_func_x_2 )
            local hoisted_1_2, hoisted_2_2, hoisted_3_2, deduped_4_2;
            deduped_4_2 := hoisted_28_1[logic_new_func_x_2];
            hoisted_3_2 := [ 0 .. hoisted_29_1[logic_new_func_x_2] - 1 ];
            hoisted_2_2 := hoisted_31_1[logic_new_func_x_2];
            hoisted_1_2 := [ 0 .. deduped_4_2 - 1 ];
            return List( [ 0 .. 2 ^ deduped_4_2 - 1 ], function ( i_3 )
                    local hoisted_1_3, hoisted_2_3;
                    hoisted_1_3 := List( hoisted_1_2, function ( j_4 )
                            return REM_INT( QUO_INT( i_3, 2 ^ j_4 ), 2 );
                        end );
                    hoisted_2_3 := List( hoisted_3_2, function ( logic_new_func_x_4 )
                            return hoisted_32_1[1 + hoisted_1_3[(1 + hoisted_2_2[(1 + logic_new_func_x_4)])]];
                        end );
                    return Sum( List( hoisted_3_2, function ( k_4 )
                              return hoisted_2_3[(1 + k_4)] * 2 ^ k_4;
                          end ) );
                end );
        end );
    hoisted_27_1 := List( deduped_36_1, function ( logic_new_func_x_2 )
            local hoisted_1_2, hoisted_2_2, hoisted_3_2, hoisted_4_2, hoisted_5_2, hoisted_6_2, hoisted_7_2, hoisted_8_2, hoisted_9_2, hoisted_10_2, deduped_11_2,
            deduped_12_2, deduped_13_2, deduped_14_2;
            deduped_14_2 := hoisted_5_1[logic_new_func_x_2];
            deduped_13_2 := 2 ^ deduped_14_2;
            deduped_12_2 := [ 0 .. deduped_14_2 - 1 ];
            deduped_11_2 := [ 0 .. deduped_13_2 - 1 ];
            hoisted_9_2 := CAP_JIT_INCOMPLETE_LOGIC( [ 0 .. deduped_14_2 ^ deduped_14_2 - 1 ][1 + deduped_14_2 * GeometricSumDiff1( deduped_14_2, deduped_14_2 )] );
            hoisted_8_2 := hoisted_22_1[logic_new_func_x_2];
            hoisted_7_2 := hoisted_17_1[logic_new_func_x_2];
            hoisted_6_2 := hoisted_9_1[logic_new_func_x_2];
            hoisted_5_2 := deduped_12_2;
            hoisted_1_2 := deduped_13_2;
            hoisted_4_2 := List( [ 0 .. deduped_13_2 * deduped_14_2 - 1 ], function ( i_3 )
                    return REM_INT( QUO_INT( i_3, 2 ^ QUO_INT( i_3, hoisted_1_2 ) ), 2 );
                end );
            hoisted_2_2 := deduped_14_2;
            hoisted_3_2 := List( deduped_12_2, function ( logic_new_func_x_3 )
                    return REM_INT( logic_new_func_x_3, hoisted_2_2 );
                end );
            hoisted_10_2 := List( deduped_11_2, function ( i_3 )
                    local hoisted_1_3, hoisted_2_3, hoisted_3_3, hoisted_4_3, hoisted_5_3, hoisted_6_3, hoisted_7_3, hoisted_8_3, hoisted_9_3, deduped_10_3,
                    deduped_11_3, deduped_12_3, deduped_13_3;
                    hoisted_1_3 := List( hoisted_5_2, function ( logic_new_func_x_4 )
                            return hoisted_4_2[1 + (i_3 + hoisted_3_2[(1 + logic_new_func_x_4)] * hoisted_1_2)];
                        end );
                    deduped_13_3 := Filtered( hoisted_5_2, function ( x_4 )
                            return hoisted_1_3[1 + REM_INT( x_4, hoisted_2_2 )] = 1;
                        end );
                    deduped_12_3 := Length( deduped_13_3 );
                    deduped_11_3 := [ 0 .. hoisted_6_2 * deduped_12_3 - 1 ];
                    hoisted_2_3 := deduped_13_3;
                    hoisted_4_3 := List( [ 0 .. deduped_12_3 - 1 ], function ( i_4 )
                            return hoisted_3_2[1 + hoisted_2_3[(1 + i_4)]];
                        end );
                    hoisted_3_3 := deduped_12_3;
                    deduped_10_3 := Filtered( deduped_11_3, function ( x_4 )
                            return hoisted_7_2[1 + REM_INT( x_4, hoisted_6_2 )] = hoisted_4_3[1 + REM_INT( QUO_INT( x_4, hoisted_6_2 ), hoisted_3_3 )];
                        end );
                    hoisted_6_3 := List( deduped_11_3, function ( i_4 )
                            return REM_INT( i_4, hoisted_6_2 );
                        end );
                    hoisted_5_3 := deduped_10_3;
                    hoisted_7_3 := List( [ 0 .. Length( deduped_10_3 ) - 1 ], function ( logic_new_func_x_4 )
                            return hoisted_8_2[1 + hoisted_6_3[(1 + hoisted_5_3[(1 + logic_new_func_x_4)])]];
                        end );
                    hoisted_8_3 := List( hoisted_5_2, function ( x_4 )
                            if x_4 in hoisted_7_3 then
                                return 1;
                            else
                                return 0;
                            fi;
                            return;
                        end );
                    hoisted_9_3 := List( hoisted_5_2, function ( logic_new_func_x_4 )
                            return hoisted_8_3[1 + REM_INT( QUO_INT( hoisted_9_2, hoisted_2_2 ^ logic_new_func_x_4 ), hoisted_2_2 )];
                        end );
                    return Sum( List( hoisted_5_2, function ( k_4 )
                              return hoisted_9_3[(1 + k_4)] * 2 ^ k_4;
                          end ) );
                end );
            return Filtered( deduped_11_2, function ( x_3 )
                    return hoisted_10_2[1 + x_3] = x_3;
                end );
        end );
    hoisted_26_1 := List( deduped_36_1, function ( logic_new_func_x_2 )
            local hoisted_1_2, hoisted_2_2, hoisted_3_2, hoisted_4_2, hoisted_5_2, hoisted_6_2, hoisted_7_2, hoisted_8_2, hoisted_9_2, hoisted_10_2, deduped_11_2,
            deduped_12_2, deduped_13_2, deduped_14_2;
            deduped_14_2 := hoisted_5_1[logic_new_func_x_2];
            deduped_13_2 := 2 ^ deduped_14_2;
            deduped_12_2 := [ 0 .. deduped_14_2 - 1 ];
            deduped_11_2 := [ 0 .. deduped_13_2 - 1 ];
            hoisted_9_2 := CAP_JIT_INCOMPLETE_LOGIC( [ 0 .. deduped_14_2 ^ deduped_14_2 - 1 ][1 + deduped_14_2 * GeometricSumDiff1( deduped_14_2, deduped_14_2 )] );
            hoisted_8_2 := hoisted_22_1[logic_new_func_x_2];
            hoisted_7_2 := hoisted_17_1[logic_new_func_x_2];
            hoisted_6_2 := hoisted_9_1[logic_new_func_x_2];
            hoisted_5_2 := deduped_12_2;
            hoisted_1_2 := deduped_13_2;
            hoisted_4_2 := List( [ 0 .. deduped_13_2 * deduped_14_2 - 1 ], function ( i_3 )
                    return REM_INT( QUO_INT( i_3, 2 ^ QUO_INT( i_3, hoisted_1_2 ) ), 2 );
                end );
            hoisted_2_2 := deduped_14_2;
            hoisted_3_2 := List( deduped_12_2, function ( logic_new_func_x_3 )
                    return REM_INT( logic_new_func_x_3, hoisted_2_2 );
                end );
            hoisted_10_2 := List( deduped_11_2, function ( i_3 )
                    local hoisted_1_3, hoisted_2_3, hoisted_3_3, hoisted_4_3, hoisted_5_3, hoisted_6_3, hoisted_7_3, hoisted_8_3, hoisted_9_3, deduped_10_3,
                    deduped_11_3, deduped_12_3, deduped_13_3;
                    hoisted_1_3 := List( hoisted_5_2, function ( logic_new_func_x_4 )
                            return hoisted_4_2[1 + (i_3 + hoisted_3_2[(1 + logic_new_func_x_4)] * hoisted_1_2)];
                        end );
                    deduped_13_3 := Filtered( hoisted_5_2, function ( x_4 )
                            return hoisted_1_3[1 + REM_INT( x_4, hoisted_2_2 )] = 1;
                        end );
                    deduped_12_3 := Length( deduped_13_3 );
                    deduped_11_3 := [ 0 .. hoisted_6_2 * deduped_12_3 - 1 ];
                    hoisted_2_3 := deduped_13_3;
                    hoisted_4_3 := List( [ 0 .. deduped_12_3 - 1 ], function ( i_4 )
                            return hoisted_3_2[1 + hoisted_2_3[(1 + i_4)]];
                        end );
                    hoisted_3_3 := deduped_12_3;
                    deduped_10_3 := Filtered( deduped_11_3, function ( x_4 )
                            return hoisted_7_2[1 + REM_INT( x_4, hoisted_6_2 )] = hoisted_4_3[1 + REM_INT( QUO_INT( x_4, hoisted_6_2 ), hoisted_3_3 )];
                        end );
                    hoisted_6_3 := List( deduped_11_3, function ( i_4 )
                            return REM_INT( i_4, hoisted_6_2 );
                        end );
                    hoisted_5_3 := deduped_10_3;
                    hoisted_7_3 := List( [ 0 .. Length( deduped_10_3 ) - 1 ], function ( logic_new_func_x_4 )
                            return hoisted_8_2[1 + hoisted_6_3[(1 + hoisted_5_3[(1 + logic_new_func_x_4)])]];
                        end );
                    hoisted_8_3 := List( hoisted_5_2, function ( x_4 )
                            if x_4 in hoisted_7_3 then
                                return 1;
                            else
                                return 0;
                            fi;
                            return;
                        end );
                    hoisted_9_3 := List( hoisted_5_2, function ( logic_new_func_x_4 )
                            return hoisted_8_3[1 + REM_INT( QUO_INT( hoisted_9_2, hoisted_2_2 ^ logic_new_func_x_4 ), hoisted_2_2 )];
                        end );
                    return Sum( List( hoisted_5_2, function ( k_4 )
                              return hoisted_9_3[(1 + k_4)] * 2 ^ k_4;
                          end ) );
                end );
            return Length( Filtered( deduped_11_2, function ( x_3 )
                      return hoisted_10_2[1 + x_3] = x_3;
                  end ) );
        end );
    hoisted_25_1 := deduped_35_1;
    hoisted_24_1 := DefiningPairOfUnderlyingQuiver( B_1 )[2];
    return NTuple( 5, NTuple( 2, deduped_35_1, List( deduped_37_1, function ( m_2 )
                local hoisted_1_2, hoisted_2_2, hoisted_3_2, hoisted_4_2, deduped_5_2, deduped_6_2, deduped_7_2, deduped_8_2;
                deduped_8_2 := hoisted_24_1[m_2];
                deduped_7_2 := 1 + deduped_8_2[1];
                deduped_6_2 := 1 + deduped_8_2[2];
                deduped_5_2 := [ 0 .. hoisted_26_1[deduped_6_2] - 1 ];
                hoisted_4_2 := hoisted_27_1[deduped_7_2];
                hoisted_2_2 := hoisted_33_1[m_2];
                hoisted_1_2 := hoisted_27_1[deduped_6_2];
                hoisted_3_2 := List( deduped_5_2, function ( i_3 )
                        return hoisted_2_2[1 + hoisted_1_2[(1 + i_3)]];
                    end );
                return CreateCapCategoryMorphismWithAttributes( hoisted_23_1, hoisted_25_1[deduped_6_2], hoisted_25_1[deduped_7_2], AsList,
                   List( deduped_5_2, function ( x_3 )
                          return -1 + SafePosition( hoisted_4_2, hoisted_3_2[(1 + x_3)] );
                      end ) );
            end ) ), NTuple( 2, ListWithIdenticalEntries( deduped_38_1, deduped_40_1 ), ListWithIdenticalEntries( deduped_39_1, CreateCapCategoryMorphismWithAttributes(
             deduped_43_1, deduped_40_1, deduped_40_1, AsList, [ 0 ] ) ) ), NTuple( 2, List( deduped_36_1, function ( logic_new_func_x_2 )
                return CreateCapCategoryObjectWithAttributes( hoisted_23_1, Length, 2 ^ hoisted_5_1[logic_new_func_x_2] );
            end ), List( deduped_37_1, function ( m_2 )
                local hoisted_1_2, hoisted_2_2, hoisted_3_2, deduped_4_2, deduped_5_2, deduped_6_2;
                deduped_6_2 := hoisted_29_1[m_2];
                deduped_5_2 := hoisted_28_1[m_2];
                deduped_4_2 := 2 ^ deduped_5_2;
                hoisted_3_2 := [ 0 .. deduped_6_2 - 1 ];
                hoisted_2_2 := hoisted_31_1[m_2];
                hoisted_1_2 := [ 0 .. deduped_5_2 - 1 ];
                return CreateCapCategoryMorphismWithAttributes( hoisted_23_1, CreateCapCategoryObjectWithAttributes( hoisted_23_1, Length, deduped_4_2 ),
                   CreateCapCategoryObjectWithAttributes( hoisted_23_1, Length, 2 ^ deduped_6_2 ), AsList, List( [ 0 .. deduped_4_2 - 1 ], function ( i_3 )
                          local hoisted_1_3, hoisted_2_3;
                          hoisted_1_3 := List( hoisted_1_2, function ( j_4 )
                                  return REM_INT( QUO_INT( i_3, 2 ^ j_4 ), 2 );
                              end );
                          hoisted_2_3 := List( hoisted_3_2, function ( logic_new_func_x_4 )
                                  return hoisted_32_1[1 + hoisted_1_3[(1 + hoisted_2_2[(1 + logic_new_func_x_4)])]];
                              end );
                          return Sum( List( hoisted_3_2, function ( k_4 )
                                    return hoisted_2_3[(1 + k_4)] * 2 ^ k_4;
                                end ) );
                      end ) );
            end ) ), List( deduped_36_1, function ( logic_new_func_x_2 )
              local hoisted_1_2, hoisted_2_2, hoisted_3_2, hoisted_4_2, hoisted_5_2, hoisted_6_2, hoisted_7_2, hoisted_8_2, hoisted_9_2, hoisted_10_2, hoisted_11_2,
              hoisted_12_2, deduped_13_2, deduped_14_2, deduped_15_2, deduped_16_2, deduped_17_2;
              deduped_17_2 := hoisted_5_1[logic_new_func_x_2];
              deduped_16_2 := 2 ^ deduped_17_2;
              deduped_15_2 := [ 0 .. deduped_17_2 - 1 ];
              deduped_14_2 := [ 0 .. deduped_16_2 - 1 ];
              hoisted_9_2 := CAP_JIT_INCOMPLETE_LOGIC( [ 0 .. deduped_17_2 ^ deduped_17_2 - 1 ][1 + deduped_17_2 * GeometricSumDiff1( deduped_17_2, deduped_17_2 )] );
              hoisted_8_2 := hoisted_22_1[logic_new_func_x_2];
              hoisted_7_2 := hoisted_17_1[logic_new_func_x_2];
              hoisted_6_2 := hoisted_9_1[logic_new_func_x_2];
              hoisted_5_2 := deduped_15_2;
              hoisted_1_2 := deduped_16_2;
              hoisted_4_2 := List( [ 0 .. deduped_16_2 * deduped_17_2 - 1 ], function ( i_3 )
                      return REM_INT( QUO_INT( i_3, 2 ^ QUO_INT( i_3, hoisted_1_2 ) ), 2 );
                  end );
              hoisted_2_2 := deduped_17_2;
              hoisted_3_2 := List( deduped_15_2, function ( logic_new_func_x_3 )
                      return REM_INT( logic_new_func_x_3, hoisted_2_2 );
                  end );
              hoisted_10_2 := List( deduped_14_2, function ( i_3 )
                      local hoisted_1_3, hoisted_2_3, hoisted_3_3, hoisted_4_3, hoisted_5_3, hoisted_6_3, hoisted_7_3, hoisted_8_3, hoisted_9_3, deduped_10_3,
                      deduped_11_3, deduped_12_3, deduped_13_3;
                      hoisted_1_3 := List( hoisted_5_2, function ( logic_new_func_x_4 )
                              return hoisted_4_2[1 + (i_3 + hoisted_3_2[(1 + logic_new_func_x_4)] * hoisted_1_2)];
                          end );
                      deduped_13_3 := Filtered( hoisted_5_2, function ( x_4 )
                              return hoisted_1_3[1 + REM_INT( x_4, hoisted_2_2 )] = 1;
                          end );
                      deduped_12_3 := Length( deduped_13_3 );
                      deduped_11_3 := [ 0 .. hoisted_6_2 * deduped_12_3 - 1 ];
                      hoisted_2_3 := deduped_13_3;
                      hoisted_4_3 := List( [ 0 .. deduped_12_3 - 1 ], function ( i_4 )
                              return hoisted_3_2[1 + hoisted_2_3[(1 + i_4)]];
                          end );
                      hoisted_3_3 := deduped_12_3;
                      deduped_10_3 := Filtered( deduped_11_3, function ( x_4 )
                              return hoisted_7_2[1 + REM_INT( x_4, hoisted_6_2 )] = hoisted_4_3[1 + REM_INT( QUO_INT( x_4, hoisted_6_2 ), hoisted_3_3 )];
                          end );
                      hoisted_6_3 := List( deduped_11_3, function ( i_4 )
                              return REM_INT( i_4, hoisted_6_2 );
                          end );
                      hoisted_5_3 := deduped_10_3;
                      hoisted_7_3 := List( [ 0 .. Length( deduped_10_3 ) - 1 ], function ( logic_new_func_x_4 )
                              return hoisted_8_2[1 + hoisted_6_3[(1 + hoisted_5_3[(1 + logic_new_func_x_4)])]];
                          end );
                      hoisted_8_3 := List( hoisted_5_2, function ( x_4 )
                              if x_4 in hoisted_7_3 then
                                  return 1;
                              else
                                  return 0;
                              fi;
                              return;
                          end );
                      hoisted_9_3 := List( hoisted_5_2, function ( logic_new_func_x_4 )
                              return hoisted_8_3[1 + REM_INT( QUO_INT( hoisted_9_2, hoisted_2_2 ^ logic_new_func_x_4 ), hoisted_2_2 )];
                          end );
                      return Sum( List( hoisted_5_2, function ( k_4 )
                                return hoisted_9_3[(1 + k_4)] * 2 ^ k_4;
                            end ) );
                  end );
              deduped_13_2 := Filtered( deduped_14_2, function ( x_3 )
                      return hoisted_10_2[1 + x_3] = x_3;
                  end );
              hoisted_11_2 := List( deduped_15_2, function ( x_3 )
                      if x_3 in hoisted_5_2 then
                          return 1;
                      else
                          return 0;
                      fi;
                      return;
                  end );
              hoisted_12_2 := List( deduped_15_2, function ( logic_new_func_x_3 )
                      return hoisted_11_2[1 + REM_INT( QUO_INT( hoisted_9_2, hoisted_2_2 ^ logic_new_func_x_3 ), hoisted_2_2 )];
                  end );
              return CreateCapCategoryMorphismWithAttributes( hoisted_23_1, hoisted_34_1, CreateCapCategoryObjectWithAttributes( hoisted_23_1, Length,
                   Length( deduped_13_2 ) ), AsList, ListWithIdenticalEntries( 1, -1 + SafePosition( deduped_13_2, Sum( List( deduped_15_2, function ( k_3 )
                                return hoisted_12_2[(1 + k_3)] * 2 ^ k_3;
                            end ) ) ) ) );
          end ), List( deduped_36_1, function ( logic_new_func_x_2 )
              local hoisted_1_2, hoisted_2_2, hoisted_3_2, hoisted_4_2, hoisted_5_2, hoisted_6_2, hoisted_7_2, hoisted_8_2, hoisted_9_2, hoisted_10_2, deduped_11_2,
              deduped_12_2, deduped_13_2, deduped_14_2, deduped_15_2;
              deduped_15_2 := hoisted_5_1[logic_new_func_x_2];
              deduped_14_2 := 2 ^ deduped_15_2;
              deduped_13_2 := [ 0 .. deduped_15_2 - 1 ];
              deduped_12_2 := [ 0 .. deduped_14_2 - 1 ];
              hoisted_9_2 := CAP_JIT_INCOMPLETE_LOGIC( [ 0 .. deduped_15_2 ^ deduped_15_2 - 1 ][1 + deduped_15_2 * GeometricSumDiff1( deduped_15_2, deduped_15_2 )] );
              hoisted_8_2 := hoisted_22_1[logic_new_func_x_2];
              hoisted_7_2 := hoisted_17_1[logic_new_func_x_2];
              hoisted_6_2 := hoisted_9_1[logic_new_func_x_2];
              hoisted_5_2 := deduped_13_2;
              hoisted_1_2 := deduped_14_2;
              hoisted_4_2 := List( [ 0 .. deduped_14_2 * deduped_15_2 - 1 ], function ( i_3 )
                      return REM_INT( QUO_INT( i_3, 2 ^ QUO_INT( i_3, hoisted_1_2 ) ), 2 );
                  end );
              hoisted_2_2 := deduped_15_2;
              hoisted_3_2 := List( deduped_13_2, function ( logic_new_func_x_3 )
                      return REM_INT( logic_new_func_x_3, hoisted_2_2 );
                  end );
              hoisted_10_2 := List( deduped_12_2, function ( i_3 )
                      local hoisted_1_3, hoisted_2_3, hoisted_3_3, hoisted_4_3, hoisted_5_3, hoisted_6_3, hoisted_7_3, hoisted_8_3, hoisted_9_3, deduped_10_3,
                      deduped_11_3, deduped_12_3, deduped_13_3;
                      hoisted_1_3 := List( hoisted_5_2, function ( logic_new_func_x_4 )
                              return hoisted_4_2[1 + (i_3 + hoisted_3_2[(1 + logic_new_func_x_4)] * hoisted_1_2)];
                          end );
                      deduped_13_3 := Filtered( hoisted_5_2, function ( x_4 )
                              return hoisted_1_3[1 + REM_INT( x_4, hoisted_2_2 )] = 1;
                          end );
                      deduped_12_3 := Length( deduped_13_3 );
                      deduped_11_3 := [ 0 .. hoisted_6_2 * deduped_12_3 - 1 ];
                      hoisted_2_3 := deduped_13_3;
                      hoisted_4_3 := List( [ 0 .. deduped_12_3 - 1 ], function ( i_4 )
                              return hoisted_3_2[1 + hoisted_2_3[(1 + i_4)]];
                          end );
                      hoisted_3_3 := deduped_12_3;
                      deduped_10_3 := Filtered( deduped_11_3, function ( x_4 )
                              return hoisted_7_2[1 + REM_INT( x_4, hoisted_6_2 )] = hoisted_4_3[1 + REM_INT( QUO_INT( x_4, hoisted_6_2 ), hoisted_3_3 )];
                          end );
                      hoisted_6_3 := List( deduped_11_3, function ( i_4 )
                              return REM_INT( i_4, hoisted_6_2 );
                          end );
                      hoisted_5_3 := deduped_10_3;
                      hoisted_7_3 := List( [ 0 .. Length( deduped_10_3 ) - 1 ], function ( logic_new_func_x_4 )
                              return hoisted_8_2[1 + hoisted_6_3[(1 + hoisted_5_3[(1 + logic_new_func_x_4)])]];
                          end );
                      hoisted_8_3 := List( hoisted_5_2, function ( x_4 )
                              if x_4 in hoisted_7_3 then
                                  return 1;
                              else
                                  return 0;
                              fi;
                              return;
                          end );
                      hoisted_9_3 := List( hoisted_5_2, function ( logic_new_func_x_4 )
                              return hoisted_8_3[1 + REM_INT( QUO_INT( hoisted_9_2, hoisted_2_2 ^ logic_new_func_x_4 ), hoisted_2_2 )];
                          end );
                      return Sum( List( hoisted_5_2, function ( k_4 )
                                return hoisted_9_3[(1 + k_4)] * 2 ^ k_4;
                            end ) );
                  end );
              deduped_11_2 := Filtered( deduped_12_2, function ( x_3 )
                      return hoisted_10_2[1 + x_3] = x_3;
                  end );
              return CreateCapCategoryMorphismWithAttributes( hoisted_23_1, CreateCapCategoryObjectWithAttributes( hoisted_23_1, Length, Length( deduped_11_2 ) ),
                 CreateCapCategoryObjectWithAttributes( hoisted_23_1, Length, deduped_14_2 ), AsList, deduped_11_2 );
          end ) );
end
@mohamed-barakat mohamed-barakat changed the title TruthMorphismOfTrueToSieveFunctorAndEmbedding successfully compiled 427 minutes ~ 7 hours TruthMorphismOfTrueToSieveFunctorAndEmbedding successfully compiled in 427 minutes ~ 7 hours Oct 20, 2022
@mohamed-barakat mohamed-barakat mentioned this issue Jan 30, 2023
Open
@mohamed-barakat mohamed-barakat transferred this issue from homalg-project/Algebroids Jan 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@mohamed-barakat