Subversion Repositories wimsdev

!if $wims_read_parm!=slib_header

!goto proc

!endif

slib_author=Bernadette, Perrin-Riou

slib_example=6\

6,7

slib_require=pari

!exit

:proc

!reset slib_m, slib_n

!distribute item $wims_read_parm into slib_n, slib_m, slib_option

!default slib_m =!randint $[floor(1.5*$slib_n)], $[2*$slib_n]

slib_sommet=!values x for x=1 to $slib_n

slib_u=!exec pari matrix($slib_n,$slib_n,slib_i,slib_j,if(slib_j==slib_i,slib_i))

slib_u=!translate internal ; to $\

$  in $slib_u

slib_S=1

slib_euler=$slib_S

!for slib_k=2 to $slib_m

  slib_s=!line $slib_S of $slib_u

  slib_bonsom=!listcomplement $slib_s in $slib_sommet

  !if $slib_bonsom <> $empty

    slib_a = !randitem $slib_bonsom

  !else

    !goto end

  !endif

  slib_u=!translate internal  $\

$ to ; in $slib_u

  slib_u=!exec pari {slib_M=Mat([$slib_u]); slib_M[$slib_a,$slib_S]=$slib_S ; slib_M[$slib_S,$slib_a]=$slib_a;print(slib_M)}

  slib_u=!translate internal ; to $\

$  in $slib_u

  slib_euler=$slib_euler, $slib_a

  slib_S=$slib_a

!next slib_k

slib_manquant=!listcomplement $slib_euler in $slib_sommet

!if $slib_manquant <> $empty

  !for slib_a in $slib_manquant

    slib_u=!translate internal $\

$ to ; in $slib_u

    slib_u=!exec pari {slib_M=Mat([$slib_u]); slib_M[$slib_a,$slib_S]=$slib_S ; slib_M[$slib_S,$slib_a]=$slib_a;print(slib_M)}

    slib_euler=$slib_euler, $slib_a

    slib_S=$slib_a

  !next slib_a

!endif

:end

slib_m=!itemcnt $slib_euler

slib_u = !nonempty lines $slib_u

slib_u=!translate internal $\

$  to ; in $slib_u

slib_p = !shuffle $slib_n

slib_pp =!item $slib_p of $slib_sommet

slib_euler1=

!for slib_i in $slib_euler

  slib_pos=!positionof item $slib_i in $slib_p

  slib_euler1=!append item $slib_pos to $slib_euler1

!next slib_i

slib_euler=$slib_euler1

slib_G=!exec pari slib_p = [$slib_p]; slib_M=Mat([$slib_u]); slib_M=matrix($slib_n,$slib_n,slib_i,slib_j,if(slib_i !=slib_j && slib_M[slib_i,slib_j] != 0,1)) ;matrix($slib_n,$slib_n,slib_i,slib_j,slib_M[slib_p[slib_i],slib_p[slib_j]])

!if $slib_option=1 and $(slib_euler[1])!=$(slib_euler[-1])

  slib_G=!exec pari G={[$slib_G]};\

    slib_e=[$slib_euler];\

    G[slib_e[1],slib_e[$slib_m]]=1;\

    G[slib_e[$slib_m],slib_e[1]]=1; G

  slib_euler=$slib_euler, $(slib_euler[1])

!endif

slib_out=[$slib_G],[$slib_euler]