From f9cf8e164012d182c206804a68675f43cbebfd01 Mon Sep 17 00:00:00 2001
From: hoguchi live <steaky@woto.localdomain>
Date: Sun, 28 Nov 2021 19:13:17 +0100
Subject: [PATCH]  Committer: hoguchi live <steaky@woto.localdomain>

 On branch master

 Initial commit

 Changes to be committed:
	new file:   EllipticCurves/memory.c
	new file:   EllipticCurves/memory.h
	new file:   EllipticCurves/models.c
	new file:   EllipticCurves/models.h
	new file:   compile.sh
	new file:   main
	new file:   main.c
---
 CRS.git/EllipticCurves/memory.c |  57 ++++++++++++++++++++++++++++++++
 CRS.git/EllipticCurves/memory.h |  14 ++++++++
 CRS.git/EllipticCurves/models.c |   8 +++++
 CRS.git/EllipticCurves/models.h |  16 +++++++++
 CRS.git/compile.sh              |   4 +++
 CRS.git/main                    | Bin 0 -> 21832 bytes
 CRS.git/main.c                  |  43 ++++++++++++++++++++++++
 7 files changed, 142 insertions(+)
 create mode 100644 CRS.git/EllipticCurves/memory.c
 create mode 100644 CRS.git/EllipticCurves/memory.h
 create mode 100644 CRS.git/EllipticCurves/models.c
 create mode 100644 CRS.git/EllipticCurves/models.h
 create mode 100755 CRS.git/compile.sh
 create mode 100755 CRS.git/main
 create mode 100644 CRS.git/main.c

diff --git a/CRS.git/EllipticCurves/memory.c b/CRS.git/EllipticCurves/memory.c
new file mode 100644
index 0000000..c5cbf6d
--- /dev/null
+++ b/CRS.git/EllipticCurves/memory.c
@@ -0,0 +1,57 @@
+#include <stdio.h>
+#include <stdlib.h>
+
+#include "memory.h"
+#include "models.h"
+
+#include <gmp.h>
+#include <flint/fmpz.h>
+#include <flint/fq.h>
+
+void SW_init(SW_curve *E, const fq_ctx_t *F) {
+
+	//fmpz_init(E->p);
+	fq_init(E->a, *F);
+	fq_init(E->b, *F);
+}
+
+void SW_set(SW_curve *E, const fq_ctx_t *F, const fmpz_t a, const fmpz_t b) {
+
+	fmpz_t p;
+	long d;
+
+	fmpz_init_set(p, fq_ctx_prime(*F));
+	d = fq_ctx_degree(*F);
+
+	E->F = F;
+	fq_set_fmpz(E->a, a, *F);
+	fq_set_fmpz(E->b, b, *F);
+
+	fmpz_clear(p);
+}
+
+void SW_print(SW_curve *E) {
+
+	printf("Elliptic curve Y^3 = X^3 + ");
+	fq_print_pretty(E->a, *(E->F));
+	printf("X + ");
+	fq_print_pretty(E->b, *(E->F));
+	printf(" in short Weierstrass form over F_p^d with p = ");
+	//fmpz_print(E->p);
+	//printf(" and d = %ld", E->d);
+}
+
+//#define template_weierstrass(a1, a2, a3, a4, a6) const fmpz_t a1, const fmpz_t a2, const fmpz_t a3, const fmpz_t a4, const fmpz_t a6
+//void print_test(template_weierstrass(a1, a2, a3, a4, a6)) {
+//	printf("\n");
+//	fmpz_print(a1);
+//	printf("\n");
+//	fmpz_print(a2);
+//	printf("\n");
+//	fmpz_print(a3);
+//	printf("\n");
+//	fmpz_print(a4);
+//	printf("\n");
+//	fmpz_print(a6);
+//	printf("\n");
+//}
diff --git a/CRS.git/EllipticCurves/memory.h b/CRS.git/EllipticCurves/memory.h
new file mode 100644
index 0000000..add7408
--- /dev/null
+++ b/CRS.git/EllipticCurves/memory.h
@@ -0,0 +1,14 @@
+#ifndef _MEMORY_H_
+#define _MEMORY_H_
+
+#include "models.h"
+
+#include <gmp.h>
+#include <flint/fmpz.h>
+#include <flint/fq.h>
+
+void SW_init(SW_curve *, const fq_ctx_t *);
+void SW_set(SW_curve *, const fq_ctx_t *, const fmpz_t, const fmpz_t);
+void SW_print(SW_curve *);
+
+#endif
diff --git a/CRS.git/EllipticCurves/models.c b/CRS.git/EllipticCurves/models.c
new file mode 100644
index 0000000..2570641
--- /dev/null
+++ b/CRS.git/EllipticCurves/models.c
@@ -0,0 +1,8 @@
+#include <stdio.h>
+#include <stdlib.h>
+
+#include "models.h"
+
+#include <gmp.h>
+#include <flint/fmpz.h>
+#include <flint/fq.h>
diff --git a/CRS.git/EllipticCurves/models.h b/CRS.git/EllipticCurves/models.h
new file mode 100644
index 0000000..5bde354
--- /dev/null
+++ b/CRS.git/EllipticCurves/models.h
@@ -0,0 +1,16 @@
+#ifndef _MODELS_H_
+#define _MODELS_H_
+
+#include <gmp.h>
+#include <flint/fmpz.h>
+#include <flint/fq.h>
+
+typedef struct SW_curve{
+
+	const fq_ctx_t *F;	// base field
+	//fmpz_t p;		// characteristic
+	//slong d;		// degree
+
+	fq_t a, b;		// curve parameters
+} SW_curve;
+#endif
diff --git a/CRS.git/compile.sh b/CRS.git/compile.sh
new file mode 100755
index 0000000..1ba1fa4
--- /dev/null
+++ b/CRS.git/compile.sh
@@ -0,0 +1,4 @@
+gcc 	EllipticCurves/memory.c \
+	EllipticCurves/models.c \
+	main.c \
+	-lgmp -lflint -o main && ./main
diff --git a/CRS.git/main b/CRS.git/main
new file mode 100755
index 0000000000000000000000000000000000000000..35aef742656b1114d7277500356b496c328470b2
GIT binary patch
literal 21832
zcmeHPeRx#WnZJ_|2o)xSAc8`fRdj<jF#+U5MP`7&jV2O-h*;z@WG2bzBopQX0tJmm
zSf_C)tCi(((TBEM*R^Yxt=0O$W5Y)YYPUwa)mUkpTC5WgO;@zhqO-sEob%qfxn^v;
z`|SSXoagz?d*82f-t*pb&z*Z_?zz39YH^;!p>fIAuGWb2jFA$LQXH*T2Ou78jy4*f
zU)CmT!@&;|GO71S0<A1Pd4p-8lIMex-vl}sf=-fRjVVV+l>D-lqhFF5rkYFg<X1q4
zinr5(v!oqU)|>6QrCzhqwW>a*RzJ$k(RtF3^T#x$@-m<(`w>fiJ<6{~<(;X<_KI>o
zDJO(EDxY@hfsTqtd}^BAuT}Zk=^|y%l-i)O{H>V(f6`u!^1JI&S&y9_mST-5w|71K
zC@+6$;nTcKwU_NY%u#t{O6Qx(Wuf4@Su-yS`Ab5<=6GvK>zr97vu2h?!==-Op5iJ4
zXiP1+u2#!y(>h7U{tnGCh|ja}WIGO^w3Gi+B{%Gv9DIMqRj<r0xohjL)3+9<e@Qmf
z52}-FsE~}ng~C4<AR9A34wsOT&9uq)@Fhg-XUZu^&i;&4(|o9KC^@y`9>V^@EcRi@
zFBro9A;^ZRe{mN1pR&k*okd=gC7#K!cLVk^D~tWuEb{A7!BFup%3^;wi~ZUx@=zA}
zjx6%qvb0N=nH#W|J0KV;{zlX@Mw_VZtC1c&PiRKvifY3jhy)sf(O4j|qIzK{+#Fcp
zTNeswhSAUzZZ@JZUnFK2(lo1K%Vr}Qh-vjrIA{rnHW|U@AlUUrU943e8yQ`5IMU<`
z1)~9J4@a~T(WFIPDBz12s7LWlVZW@=AKVZLG#Sl-jWLAPY_voI!R8IhYD1vTh}QW+
z<O&CB%c2p%$m-!PD$hhy-x3Kn$EdnkY?H-F1Y+qCg=wqT>~b`|t|=Zu%8;$PTaCKL
zTa9{OFr<m9>$PaiACAYMu50xf^}%LzelsN)(-FcJ32yQQn>FwaO)WGZm6s7yk7+6<
z*jdEZ(cvs@Nmb>7g~s&KndZ^-(#yq(mD8S@{2)=&zdY&c(`w_ujptu6Hh5kg7YvRj
zuP2o(eqL~-2AfXsRQNu}<EKmwwr+JlV|lOop7DrnyfNRiRMtmxn>EH>i(K5-rJ0tp
z$ki=fX!<R3ns>PjSmfuh5R}J1)lKs&mkBD)5fG@Z3YFU;&tz58iY;>Myj^CIoAWkm
znq!eu8(cgVIp>aax<!r?V3rz-Tzw@Hx*IL>QKq$~t+mK;V$ITMkvmPPrnOk)MHYFh
zMeef5+bnW*%7ylBi`+UN?X<|pTI$(tk&m~?bBDPM<T8-UKrRD+T?XDS`trwm`#Xht
zN5Sj!aXZ=88Ouv|>+OdN4~dG>m%j;d`l93bESloM5%G<r>+4OUT=Yxg=~md+E%;Z6
zr(0lOr{G^8o^IWJ`viZGc)At#?G^kp#M5oIZ>QjYKs?<N``QHmDDiYF>}wJHw~41)
zVBcE7KR`U)`ub`Fe=qTL%j@$9{_DikSAo7V!QV+d-TM06g5OL$-SYZef{zeSx4J$}
z@V5|8x46FkPa(Ky9q}&Wd%;uw%1>1$US6Xo-qhQV_t&hbN*3%wJbH5U6hY=4K=kQz
z?z~#lPVdx{^X8%gJy|fF$lQV0IY|9=&{66~rhAK~w4rY8kfN|3DeN!LBQot%J<+cp
zcz3>jU?5+29MNC?G&T+ul&A^{)4laYQx;|XDZaLO{{giYpHZu~&pSa23wq+M*l4|D
z-oucm&!M%3R2}+uq~M<*aNK;TzO-n{T@;3Ps6KN{=b!59Yk+Mn>cGHp>xr!?JrVEK
zJ1PJTab2yq4>)2jDIfy9>!hAK@JTwYCn^RY8PE@;^7O<({VCB1mL>F&-NZ{{>595~
zg%Q~&Ueyy_spn9|&gT!Qwq0mj)|P2EUL>lA0Os>?g8m9~7tDosmx#*lnTYoz(_cff
z^p08_RwJsPQ8RN8l?qA)bh8Z646kiBYSi0PNUe&!(2N}w96&y8y%LR4zq?Y?26fs4
z#~vgc>8d@7Xn~qmN!!|}l>@!`XsJ+lbkpfTzE2kD?M>Ydy?tx97CRrN-NGhWL%Hiw
zb{KrG3)Phs14TP10fIxws3O((h!mhP*+@H`zKZ^nAy`oaEua{eXxbr9Vsg|^;6jz4
zg#*&6h2m6J$RC0`0zpc5fQb+2)B5$~Op8~)O7Gk=I4$i>{nUegZBtVCB*$4Sk&CX>
zcshISO$eCkq;4dyL0-WfCG}mTP9Tz6>UOt2_n=<16e)`LfJH*PQosF^b+nY313OVG
zO*-URoLkYmwU~WM%~~<|<0*(S*t=4@P*q<cCPiV_u~VFWx<IC3YVAZyyHaCeLMfCM
z<^Unpz{f&Gaf-m67Z*+!u~i*+?^9{5>S)_*9`05xz+mUyLRyW0Y7r0;OG(ERztVfX
zx28JrdUZnNYaO-He%NgdAX$TaVO)!Dh_QVSSy3E=JCUrRG~*13%W|V>B>N$%F)!Lx
z(3+#$Eyg{K?gT|wk?Qa?V(d+n!B$f`Fz7|oXQA6C&mBT>6OumU#R=CA-6g8P=%R~M
z*3>4)0V?M+0Yi@qW8n5Nq8sYeVzi$ul<v^dNJ%V^)#0qX`H{6%TR&(%FgrXjKsgiL
zLk%KBbZZ(qWD1IAL5u%(3=K13E;C`&K(dD7L%)vbiPusu&=`_pI*lxT9O6u4o<S2v
zqPo+scMQ9zn3}}oP~Hj0ZW?uUVn80$ljdoiC{L@<UMjR0-C``%LPm+{(UUp?0xPaE
z1ocwt4Z0+x3PA}~r-=8ZR41uK{g^aS`A*mk`1P;IaAE~1Co*U2d9q*=Zr%uxlBA{X
z`J?KxIKcyY`$5d4A{l!{<pm8^>ouRTb}Q?Mw63sPm%*Cz##6Vt6{vapj(2EX(U!oj
ziucP}%V!*^_@kzGZF>q8)3=|lij$CnyjRvb8~6KdN2x{R`9T_t$!*<=-67c?#ojL1
z>i3nyGt_A{itnJ#B&$y<XRE4Ss@{W&Dzd7s6{>=7;^A6PY!hdoBPq%K6sw+mLPVC_
zMqh_0z`hSjdcR<k+j>P{Vi4a#^H4G=LQUQ;I*@!~kXcvi?}Ux=>PnTvTbwwI1Ul2>
z#K6Ouo{C1EKUBYyzE5~pRwd_MIYZODH&iBG_10D<KJc#aCeGCA$&yPUUS2ir6PmzM
zOFuvW2R_M<O(}mveLt#7{8v@t-9?GFz3Fkk(c2F>^tr!^pP=urU%lD8+IzEijn}Y#
zhoSc9n=MiCz1RGvOPS7<Tn2I($YtP*lL1=S|Ge@Eo?SlxP62NLzXE;%{0uk({22HV
zun%|y_!jU0a4*mS+y!g}HUMFOp5%SNSAi8kHLwKm0CRyEz@@;&fE$<yj0HvmBLEHf
z7^?%Pfp>uv@Fs8!coldVcoFys@MGW^;D^BXfqwzM13U!m2JQorz}-MQuoY+pqChhc
z1n5WSHNYxh1+Wyj2B-i$z*WF(U^-9&6a!O%DZqKacwh`L3Md5ffph`-0DK7i0XPNp
z0mp$};27{4@N?iL;6>mFa1eM7cm{Y9_yO>J;8EaV;M>4MzyrW8;9g({@O5B2&<@-V
zd=1zL#DEqc1kegh0Pq28fSZ6DfaSnapbF4|3cw3o4O{`t24(_fKnZXOa4~Qp;07iE
z6M^x-SfB_P1&joS1Ni{`h<;|6rhNo_2)qyU1E+u!z}vua;J3i9fj592;1|Fvz)QeS
zffs--;4p9icn)|Lcp7*TcpTUVJO+FZcm((^@Eu?;@F4Jyz;57v;67j{kOVq_yMgUM
zJ8%bZ8?Xh~1Z)IiKm-T_O~5Sxt#k!|I=~040agR6fR#WkunedHt^=+GDuE@yB47dF
z0j>tF1m*&>fy;sEKp9X9TnbzQ6ayCl7Xp6+OaUeX=K~XgbAfTd*?<dh0;7O00foSD
zU>J}G&>sydLZM(wELi8Ri$^vD+^g2iaL;q!h|jOMwHxU}6?d@N9c>IpV(yiJU?74Y
zX?@YCyB<H^y2Bd+5%*%FWsTpxF&Jxfx1a`g({l4mZhpzlFJIjGC3pSjuK(Qi|HZxj
z8}LoQaen@louKqTn?1ivr%!|KKb}q>1AXGHbb1oj+{%BSPG1GO7IZb}1E5<#kAUt0
z{ZG*Spr=5OfsS}PojwD4G3X>b;_OJlAM~w0_=C<q0e{fPK=**20NoEd{v`ZCSAw1a
zb-e?B{CfEf(5pbd3%VNg%qjSThTcu54}<c5iX5AlX^vKx<NQ%03U{J?lG7hBd(f}T
zK($39=(j^{Dlik+`(`@rhMnegEp|@0rs%AVg>BmW^RB#P#?%WS6~3!M{~r0+LISVT
zwLNd)=;3)A(Sp>I{1o(}e%9Y2)WUxc^k<;I!s;K-==VcD9(kt!3YzsdWc0@%z5sgh
z{~xZuGNV5Oy$kw@R{s?l{Ur2nB=qN5^|cxORnX@{KgFuQDWhKveIE4US7vTMzs^Ax
zli;%j`fG6BSAv@H=Pxt$dmz69<6xP!{=90@0Qv8S{&DCx4AQSR^~azeiSdJ9{xbEq
zX5u>o{l(B{%iko7qv_Clt^Qjw{#QZ29QvoN`n(^S?XQOZ9q4Z#q~C1nw?Ka_#<loA
z6zAvqO#OSH_d;KbI5YXF5&2mJ(SGP#G5!No|6-@>8+nz^2|MyDobKeX3TN>>1&f?z
z+lTAUIqf5sI6ckIIbLU(*IB&4>0aQRu)yhB;4BpX3mk^)U@z*SN4i|eWgwS<Tn2I(
z$Ymgxfm{Z18OUWImw{XcavAu)$pF7!#qU$mqaGDngP_9vgEpSt>7qh^h!#bxPT==e
z#SVyvcKmjvcz&<ze8po4LKJ1D@%vr$Tup`bAAFh)6W@tvL@NA@NWYg-QAA5AJ-@T`
zQxzZmft$(%Ni^%bS|n0#_#sUi;E`68-O8WWXXqznD*R4YnR;o8<u|H;Iqn{5t|>FK
zef%9x^apBTivKwYzF0Zpzf^)(&1?ONKdl<Vp9zKDj9azy|4q#I%54qLQsZE;qBkg7
zujmFvw=23!(T5d%Qqd!dzN+Z&75z}r;p%0u@rquo=q&3?Vu<aL8X4e{g$u867vpW{
zY3}m!((=+WTikY*@;^-bL)tE<@$P_Tk2(QvWk72vL)lNxA}@wKPjhN5ws<d5^1U`W
zts#*;U#DP2S&mN!uCk|8KY833LO#yCuB0`7hsFWb!`D5_?-llA&G#=^{_i*#s$b6t
zdza>RD@*#_7o`iJ`sb>b^0o*mesfpyCzSj$CGS=8<4S&olAloWFRPdM#2Oi7wB-cV
ze~ps!yM^PG{6;0`d1tDUuUB%OZ_1UtL&?P&BI=*3<c})3SUZILS|vYQO(0^;5c1VZ
z9#k(CE`yB9%}V~Pl5db=twG7l)kGrJ2BC{8d9#vpf7>Ddy!^M(f-n`8|9k$NJq<i6
z%Kkpp?pT#D6)tw@7`k1$4><4!`061pprPXY9_;ZCj?aukT012<-xr9Z@{*_@Nl@ci
zO0oVf<mYJid1o`O!#uhRx!6+DcSZeUG~OqIwGK@1XJh<KQ~ecdn@|oHa<<CQaarVl
z3;CG53FiC0>~UDt?@`w;kMkLjyV=M>SCM^Qk;eB+RxMTa^s52O_dP?%*(yULkYA8t
z&7))%`^U4$pM%_myVYJ>{$I>u|2tuydGDVaelLstr$X-3zNv1=Vr?2uBXAzo6u?yo
z`Xii27v{H4TRa!Q-aW`tGUZw7nGg9;`x7k7V!tknd_ClppMAD?X#W!$R}ZM`*Q;V{
zQ}Q--9>rQYbUU-uPxqCf^6+F9`N1sm*Rsgp&LZ!`d2tVM-U~2KxK&@Qg#I5y<Dc)Z
ztfT)E4HZBA|7Z+dq^dHoqUgfjslB1{_Oy~~zIDNp=5Q=fT8CW>z!))KgGRe7Ku{Nn
zMPqTiVOFPQc9t+=O-3E<EfIx-KWsFF!s~n?!ygMrqJ}Tts?~*?T0((Xz>k~%kQTIW
zLeTI<BEC&Vpg9)Vq}4}!O##CnZ)(D}4Tgmi8%_)|Z3;AnBbyLW1p7p63`hJ3c%9ta
zfuhdrU18buVRIl7wru|}XqO1FdjxGXLEBq^#zXNa?{?u2G(-Z}+CuJq0k<Z>s68mw
z8_^bDBpNUx0e`#>n?S(MA7~ydP&%m0O($?XC;~JZ2u0B&+BgD4L?qiV7BBNwR~Qx7
zEuw8Z1}DQmSRnSE(2ONjOBZ;njHQbgFRxf(tne<Vs(|OBRo8i|D;L58-^`2(UDc~E
zS|%D*TV?Qu8gi=(4{uIETT&Rtit2?N$LH=eLYrF{b<wyu$(E#>-5<Pl#^6@WlOZ-9
z$+k@hb~90%lwf%IVm`U=hNUgrJ|M=rXjIwAokM7g5s~2KE9I#`{|0aOVTLsms==G5
zh#18tCD<iJZU<soi&U8gmJyiQNW}<H$QoK!r`SxG;Ds~qL1NZq-w#ENNLhoh5)EW_
zW0Cz70muzl>>HE}4w=qqmJMP2(Xi3zYxaliTf9^*Mb7-eW+NUA_^Cg%g^E@h-PA-E
zWGVh(C}|@fVFQ#vq(v(gvrR*DytE|}ZV5!NQ%gp)E*`{|PC>sCc^6cc(0o)%=8e8+
zqgLwQ)Ql!1#ZEIqgFi4vgW={ui~(IF5b}|OI%)~Uv{I3?(paDs$21Q?7ZzuvG|;GK
zo<=`>nUfxJ3X&dtjEa3t!8)`WMqT(Q6%EMBFyypS%!Eyt;CQP2-%xs<cL2D3h%y29
z7b;Bod0tATEguuT5THj}_MfBtnR=kJ7WJ5Hie}-+>ffsTnNBq=<pJM!SX^oI=jS@6
zZZ=fZ?!OXpypj~=_<5azDYwt-6!!Ri@TWBj_UCmBrXHoBK2o09pVu>jkWrV}pVvj0
z@;V4iM4>vYWjz>Lb6|g7XJA^Uj5&U`V|p9(w1&YvuVXM}e|!8KLlOs+Q}*X|6sEk6
z!tLAp{}0N4fvS+#Wtj3h4*Anp47>lgAfudc{qz+@6h(QxN=f;#iCJwAj;#J}<!4e`
z!fn-S|7`Q;=LV)v@B)%*k^MP<$87%m9Kn>=<JjIlejiu<oPW)&EET<z7CbD)Z8@gH
zX94OW`}6Y_)5BzBDfafChtBG+mq=r#6V&z0Rq**^{^vNLH2^l_=SkkT&u-5=)8D|i
z$l}lIklpIRob6yD3iC`)LP}$Y+vn#~-iMJBL*t(c`|)`^4H@;{^j}I=_}|xjNsA>h
zKiQw@N6=XP&F5y1blEG3`N@7v^Wbdt=jXn?9_hkyas}*X@^B^@$Is72`#jR(&-ss5
z?U!+din71`S%PAvVx>Ixq(*)o^+>u~C7$j>w6@0a^ZZGd7soC=<mXyl(xtWm%k8o)
UJ?0PP|8G^&g4U(1#l~v?4R2wu!vFvP

literal 0
HcmV?d00001

diff --git a/CRS.git/main.c b/CRS.git/main.c
new file mode 100644
index 0000000..ac5403b
--- /dev/null
+++ b/CRS.git/main.c
@@ -0,0 +1,43 @@
+#include <stdio.h>
+#include <stdlib.h>
+
+#include "EllipticCurves/models.h"
+#include "EllipticCurves/memory.h"
+
+#include <gmp.h>
+#include <flint/fmpz.h>
+#include <flint/fq.h>
+
+int main() {
+
+	// Elliptic curve parameters
+	char p_str[] = "0x13";
+	slong d = 2;
+	char a_str[] = "0x1";
+	char b_str[] = "0x7";
+
+	fmpz_t p_fmpz, a_fmpz, b_fmpz;
+	fmpz_init(p_fmpz);
+	fmpz_init(a_fmpz);
+	fmpz_init(b_fmpz);
+
+	fmpz_set_str(p_fmpz, p_str, 0);
+	fmpz_set_str(a_fmpz, a_str, 0);
+	fmpz_set_str(b_fmpz, b_str, 0);
+
+	// Finite field context
+	fq_ctx_t F;
+	char *Fgen = "g";
+	fq_ctx_init(F, p_fmpz, d, Fgen);
+
+	// Base curve
+	SW_curve E;
+	SW_init(&E, &F);
+	SW_set(&E, &F, a_fmpz, b_fmpz);
+
+	// Print base curve
+	SW_print(&E);
+	//print_test(a_fmpz, b_fmpz, a_fmpz, a_fmpz, b_fmpz);
+
+	return 0;
+}