|
D.9.1.4 WeierstrassProcedure from library
Example: LIB "brnoeth.lib"; int plevel=printlevel; printlevel=-1; ring s=2,(x,y),lp; list C=Adj_div(x3y+y3+x); → The genus of the curve is 3 C=NSplaces(1..4,C); def R=C[1][2]; setring R; // Place C[3][1] has degree 1 (i.e it is rational); list WS=Weierstrass(1,7,C); → Vector basis successfully computed // the first part of the list is the Weierstrass semigroup up to 7 : WS[1]; → [1]: → 0 → [2]: → 3 → [3]: → 5 → [4]: → 6 → [5]: → 7 // and the second part are the corresponding functions : WS[2]; → [1]: → _[1]=1 → _[2]=1 → [2]: → _[1]=y → _[2]=z → [3]: → _[1]=xy → _[2]=z2 → [4]: → _[1]=y2 → _[2]=z2 → [5]: → _[1]=y3 → _[2]=xz2 printlevel=plevel; See also: Adj_div; BrillNoether; NSplaces. |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |