Fix == to ===.

HechtiDerLachs · HechtiDerLachs · commit cbf60fa340d5 · 2024-11-29T09:59:36.000+01:00
diff --git a/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Methods.jl b/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Methods.jl
@@ -18,7 +18,7 @@ function fiber_product(
   )
   Y = domain(f)
   X = codomain(f)
-  X == codomain(g) || error("maps need to have the same codomain")
+  X === codomain(g) || error("maps need to have the same codomain")
   Z = domain(g)
   YxZ, pY, pZ = product(Y, Z)
   RX = ambient_coordinate_ring(X)

Original file line number	Diff line number	Diff line change
`@@ -18,7 +18,7 @@ function fiber_product(`
`18`	`18`	`)`
`19`	`19`	`Y = domain(f)`
`20`	`20`	`X = codomain(f)`
`21`		`- X == codomain(g) \|\| error("maps need to have the same codomain")`
	`21`	`+ X === codomain(g) \|\| error("maps need to have the same codomain")`
`22`	`22`	`Z = domain(g)`
`23`	`23`	`YxZ, pY, pZ = product(Y, Z)`
`24`	`24`	`RX = ambient_coordinate_ring(X)`