[sage-devel] Caught SEGV in Curve().projective_closure()

[Georgi Guninski]

Kz.=GF(3)[]
f1=y^2 + 1;g1=x^4*z - x^2*z + x;
C=Curve([f1,g1])
pc=C.projective_closure()

SignalError: Segmentation fault

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAGUWgD85fCHW7Dx%2B9oBVT9ck_Br2MthfC_bhMTV_w0SVERk_mg%40mail.gmail.com.

[sage-devel] Re: Caught SEGV in Curve().projective_closure()

[Kwankyu Lee]

It seems related with the fact that the curve is reducible.

sage: C1, C2 = C.irreducible_components()
sage: C1.dimension()
1
sage: C2.dimension()
1
sage: C1.projective_closure()
Closed subscheme of Projective Space of dimension 3 over Finite Field of 
size 3 defined by:
  x1^2 + x3^2,
  x0
sage: C2.projective_closure()
Closed subscheme of Projective Space of dimension 3 over Finite Field of 
size 3 defined by:
  x0^3*x2 - x0*x2*x3^2 + x3^4,
  x1^2 + x3^2

On Sunday, July 30, 2023 at 6:39:02 PM UTC+9 Georgi Guninski wrote:

> Kz.=GF(3)[]
> f1=y^2 + 1;g1=x^4*z - x^2*z + x;
> C=Curve([f1,g1])
> pc=C.projective_closure()
>
> SignalError: Segmentation fault
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/e47ab3f2-db5a-472b-baf7-2d9325ca76d4n%40googlegroups.com.

Re: [sage-devel] Re: Caught SEGV in Curve().projective_closure()

[Georgi Guninski]

On Sun, Jul 30, 2023 at 2:00 PM Kwankyu Lee  wrote:
>
> It seems related with the fact that the curve is reducible.
>

Could be, but some reducible curves pass the test:

sage: Kz.=GF(3)[]
sage: f2=(x+y)*(x+y-1);g2=x+y+z+1
sage: C=Curve([f2,g2])
sage: C.irreducible_components()
[
Closed subscheme of Affine Space of dimension 3 over Finite Field of
size 3 defined by:
  z + 1,
  x + y,
Closed subscheme of Affine Space of dimension 3 over Finite Field of
size 3 defined by:
  z - 1,
  x + y - 1
]
sage: C.projective_closure()
Projective Curve over Finite Field of size 3 defined by -x0^2 + x3^2,
x0 + x1 + x2 + x3

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAGUWgD_1xcnKmSaurpzt6zmbSt2O%3DOvd3FG3d0e8cdEwabm8AA%40mail.gmail.com.

[sage-devel] Re: Synchronization of GitHub state and priority labels starts on Tuesday July 18th

[Kwankyu Lee]

Look at the action of the synchronization workflow in the recently merged PR

https://github.com/sagemath/sage/pull/35997

(the last part). The workflow works well on the close event!

On Tuesday, July 11, 2023 at 4:08:40 PM UTC+9 seb@gmail.com wrote:

> Dear Sage developers,
>
>
> Now, it's five months ago that the migration from Trac to GitHub happened. 
> Many of us became familiar with the new workflows and probably found their 
> own ways to use them. From this point of view it seems a little bit late to 
> introduce a new feature to make the workflow more convenient. Convenience 
> isn't the sole purpose of label sync, however. It will also keep our PR's 
> and issues in an unambiguous state.
>
> The bot will be activated in several steps. These are tracked in issue 
> #35937 . The first step 
> activates the bot on the close event of a PR. This will happen next 
> Tuesday. Please post any comments, suggestions and bug reports to this 
> issue.
>
>
> Sebastian

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/01cb9427-6682-497c-ae25-5d53872d802bn%40googlegroups.com.