omega -> w

mohamed-barakat · mohamed-barakat · commit 8bc17bd6de54 · 2022-06-18T16:20:24.000+02:00
diff --git a/ImageOfPullback_in_AbelianClosure_using_Adelman.ipynb b/ImageOfPullback_in_AbelianClosure_using_Adelman.ipynb
@@ -94,7 +94,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: q(S,D,T)[j:S->D,omega:T->D]"
+       "GAP: q(S,D,T)[j:S->D,w:T->D]"
       ]
      },
      "execution_count": 3,
@@ -103,7 +103,7 @@
     }
    ],
    "source": [
-    "q = RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" )"
+    "q = RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" )"
    ]
   },
   {
@@ -121,7 +121,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) )"
+       "GAP: FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) )"
       ]
      },
      "execution_count": 4,
@@ -168,7 +168,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) )"
+       "GAP: Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) )"
       ]
      },
      "execution_count": 6,
@@ -211,7 +211,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) )"
+       "GAP: Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) ) )"
       ]
      },
      "execution_count": 8,
@@ -238,7 +238,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )"
+       "GAP: Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) ) ) )"
       ]
      },
      "execution_count": 9,
@@ -265,7 +265,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"
+       "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) ) ) )>"
       ]
      },
      "execution_count": 10,
@@ -285,7 +285,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"
+       "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) ) ) )>"
       ]
      },
      "execution_count": 11,
@@ -294,7 +294,7 @@
     }
    ],
    "source": [
-    "ω = ℤq.omega / ℤq_add / ℤq_abel"
+    "ω = ℤq.w / ℤq_add / ℤq_abel"
    ]
   },
   {
@@ -312,7 +312,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"
+       "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) ) ) )>"
       ]
      },
      "execution_count": 12,
@@ -359,7 +359,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: <A monomorphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"
+       "GAP: <A monomorphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) ) ) )>"
       ]
      },
      "execution_count": 14,
@@ -406,7 +406,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"
+       "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) ) ) )>"
       ]
      },
      "execution_count": 16,
@@ -426,7 +426,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: <A monomorphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"
+       "GAP: <A monomorphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) ) ) )>"
       ]
      },
      "execution_count": 17,

Original file line number	Diff line number	Diff line change
`@@ -94,7 +94,7 @@`
`94`	`94`	`{`
`95`	`95`	`"data": {`
`96`	`96`	`"text/plain": [`
`97`		`- "GAP: q(S,D,T)[j:S->D,omega:T->D]"`
	`97`	`+ "GAP: q(S,D,T)[j:S->D,w:T->D]"`
`98`	`98`	`]`
`99`	`99`	`},`
`100`	`100`	`"execution_count": 3,`
`@@ -103,7 +103,7 @@`
`103`	`103`	`}`
`104`	`104`	`],`
`105`	`105`	`"source": [`
`106`		`- "q = RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" )"`
	`106`	`+ "q = RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" )"`
`107`	`107`	`]`
`108`	`108`	`},`
`109`	`109`	`{`
`@@ -121,7 +121,7 @@`
`121`	`121`	`{`
`122`	`122`	`"data": {`
`123`	`123`	`"text/plain": [`
`124`		`- "GAP: FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) )"`
	`124`	`+ "GAP: FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) )"`
`125`	`125`	`]`
`126`	`126`	`},`
`127`	`127`	`"execution_count": 4,`
`@@ -168,7 +168,7 @@`
`168`	`168`	`{`
`169`	`169`	`"data": {`
`170`	`170`	`"text/plain": [`
`171`		`- "GAP: Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) )"`
	`171`	`+ "GAP: Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) )"`
`172`	`172`	`]`
`173`	`173`	`},`
`174`	`174`	`"execution_count": 6,`
`@@ -211,7 +211,7 @@`
`211`	`211`	`{`
`212`	`212`	`"data": {`
`213`	`213`	`"text/plain": [`
`214`		`- "GAP: Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) )"`
	`214`	`+ "GAP: Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) ) )"`
`215`	`215`	`]`
`216`	`216`	`},`
`217`	`217`	`"execution_count": 8,`
`@@ -238,7 +238,7 @@`
`238`	`238`	`{`
`239`	`239`	`"data": {`
`240`	`240`	`"text/plain": [`
`241`		`- "GAP: Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )"`
	`241`	`+ "GAP: Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) ) ) )"`
`242`	`242`	`]`
`243`	`243`	`},`
`244`	`244`	`"execution_count": 9,`
`@@ -265,7 +265,7 @@`
`265`	`265`	`{`
`266`	`266`	`"data": {`
`267`	`267`	`"text/plain": [`
`268`		`- "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"`
	`268`	`+ "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) ) ) )>"`
`269`	`269`	`]`
`270`	`270`	`},`
`271`	`271`	`"execution_count": 10,`
`@@ -285,7 +285,7 @@`
`285`	`285`	`{`
`286`	`286`	`"data": {`
`287`	`287`	`"text/plain": [`
`288`		`- "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"`
	`288`	`+ "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) ) ) )>"`
`289`	`289`	`]`
`290`	`290`	`},`
`291`	`291`	`"execution_count": 11,`
`@@ -294,7 +294,7 @@`
`294`	`294`	`}`
`295`	`295`	`],`
`296`	`296`	`"source": [`
`297`		`- "ω = ℤq.omega / ℤq_add / ℤq_abel"`
	`297`	`+ "ω = ℤq.w / ℤq_add / ℤq_abel"`
`298`	`298`	`]`
`299`	`299`	`},`
`300`	`300`	`{`
`@@ -312,7 +312,7 @@`
`312`	`312`	`{`
`313`	`313`	`"data": {`
`314`	`314`	`"text/plain": [`
`315`		`- "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"`
	`315`	`+ "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) ) ) )>"`
`316`	`316`	`]`
`317`	`317`	`},`
`318`	`318`	`"execution_count": 12,`
`@@ -359,7 +359,7 @@`
`359`	`359`	`{`
`360`	`360`	`"data": {`
`361`	`361`	`"text/plain": [`
`362`		`- "GAP: <A monomorphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"`
	`362`	`+ "GAP: <A monomorphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) ) ) )>"`
`363`	`363`	`]`
`364`	`364`	`},`
`365`	`365`	`"execution_count": 14,`
`@@ -406,7 +406,7 @@`
`406`	`406`	`{`
`407`	`407`	`"data": {`
`408`	`408`	`"text/plain": [`
`409`		`- "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"`
	`409`	`+ "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) ) ) )>"`
`410`	`410`	`]`
`411`	`411`	`},`
`412`	`412`	`"execution_count": 16,`
`@@ -426,7 +426,7 @@`
`426`	`426`	`{`
`427`	`427`	`"data": {`
`428`	`428`	`"text/plain": [`
`429`		`- "GAP: <A monomorphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"`
	`429`	`+ "GAP: <A monomorphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,w:T->D]\" ) ) ) ) )>"`
`430`	`430`	`]`
`431`	`431`	`},`
`432`	`432`	`"execution_count": 17,`