csage.server.notebook.notebook Notebook q)q}q(U_Notebook__worksheetsq}q(U interfacesq(csage.server.notebook.worksheet Worksheet qoq}q (U_Worksheet__filenameq U interfacesq U_Worksheet__cellsq ]q ((csage.server.notebook.cell Cell qoq}q(U _Cell__inqU&E = magma.EllipticCurve('[1,2,3,4,5]')qU_Cell__introspect_htmlqU!
qU_Cell__worksheetqhU_Cell__completionsqU_Cell__introspectqU_Cell__out_htmlqUU	_Cell__idqMU_before_preparseqUos.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/interfaces/cells/0")
E = magma.EllipticCurve('[1,2,3,4,5]')qU
_Cell__dirqU+sage_notebook/worksheets/interfaces/cells/0qU
_Cell__outqUUhas_new_outputqU_Cell__is_htmlq U_Cell__sageq!csage.interfaces.sage0
reduce_load_Sage
q")Rq#U_Cell__typeq$Uwrapq%U_Cell__timeq&U_Cell__interruptedq'ub(hoq(}q)(hUEhU!
q*hhhhhUhMhU]os.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/interfaces/cells/1")
Eq+hU+sage_notebook/worksheets/interfaces/cells/1q,hUUElliptic Curve defined by y^2 + x*y + 3*y = x^3 + 2*x^2 + 4*x + 5 over Rational Fieldq-hh h!h#h$h%h&h'ub(hoq.}q/(hUE.MordellWeilGroup(Bound = 10)q0hU!
q1hhhhhUhMU_word_being_completedq2UE.MordellWeilGrq3hUzos.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/interfaces/cells/2")
E.MordellWeilGroup(Bound = 10)q4hU+sage_notebook/worksheets/interfaces/cells/2q5hUq:hhhhhUhMhUcos.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/interfaces/cells/3")
type(E)q;hU+sage_notebook/worksheets/interfaces/cells/3qq=hh h!h#h$h%h&h'ub(hoq>}q?(hU	parent(E)q@hU!
qAhhhhhUhMhUeos.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/interfaces/cells/4")
parent(E)qBhU+sage_notebook/worksheets/interfaces/cells/4qChUMagmaqDhh h!h#h$h%h&h'ub(hoqE}qF(hUE.name()qGhU!
qHhhhhhUhMhUdos.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/interfaces/cells/5")
E.name()qIhU+sage_notebook/worksheets/interfaces/cells/5qJhU'_sage_[2]'qKhh h!h#h$h%h&h'ub(hoqL}qM(hUhhhhUhMhU+sage_notebook/worksheets/interfaces/cells/6qNhUhh$h%h'ubeU_Worksheet__synchroqOKU_Worksheet__nameqPU
interfacesqQU_Worksheet__attachedqR}qSU_Worksheet__dirqTU#sage_notebook/worksheets/interfacesqUU_Worksheet__queueqV]qWU_Worksheet__next_idqXMU_Worksheet__comp_is_runningqYU_Worksheet__notebookqZhU_Worksheet__idq[KU_Worksheet__next_block_idq\KU_Worksheet__systemq]NubU	_scratch_q^(hoq_}q`(h
U	_scratch_qah]qb((hoqc}qd(hU2^3qehU!
qfhh_hhhUhKhU^os.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/_scratch_/cells/0")
2^3qghU*sage_notebook/worksheets/_scratch_/cells/0qhhU8hh h!h#h$h%h&h'ub(hoqi}qj(hUfactor(2007)qkhU!
qlhh_hhhUhKhUgos.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/_scratch_/cells/1")
factor(2007)qmhU*sage_notebook/worksheets/_scratch_/cells/1qnhU	3^2 * 223qohh h!h#h$h%h&h'ub(hoqp}qq(hUview(factor(2007))qrhU!
qshh_hhhUhKhUmos.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/_scratch_/cells/5")
view(factor(2007))qthU*sage_notebook/worksheets/_scratch_/cells/5quhU63^{2} \cdot 223qvhh h!h#h$h%h&h'ub(hoqw}qx(hU)ModularSymbols(43,sign=1).decomposition()qyhU!
qzhh_hhhUhKhUos.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/_scratch_/cells/2")
ModularSymbols(43,sign=1).decomposition()q{hU*sage_notebook/worksheets/_scratch_/cells/2q|hT[
Modular Symbols subspace of dimension 1 of Modular Symbols space of dimension 4 for Gamma_0(43) of weight 2 with sign 1 over Rational Field,
Modular Symbols subspace of dimension 1 of Modular Symbols space of dimension 4 for Gamma_0(43) of weight 2 with sign 1 over Rational Field,
Modular Symbols subspace of dimension 2 of Modular Symbols space of dimension 4 for Gamma_0(43) of weight 2 with sign 1 over Rational Field
]q}hh h!h#h$h%h&h'ub(hoq~}q(hUtime n=factorial(10^6)qhU!
qhh_hhhUhKhUos.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/_scratch_/cells/3")
__SAGE_t__=cputime()
__SAGE_w__=walltime()
n=factorial(10^6)qhU*sage_notebook/worksheets/_scratch_/cells/3qhU$CPU time: 3.61 s,  Wall time: 3.63 sqhh h!h#h$h%h&h'ub(hoq}q(hU-show(maxima('x*sin(x)*cos(x)^2').integrate())qhU!
qhh_hhhUhKhUos.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/_scratch_/cells/4")
show(maxima('x*sin(x)*cos(x)^2').integrate())qhU*sage_notebook/worksheets/_scratch_/cells/4qhUu
\frac{\sin \left(3 x\right)-3 x \cos \left(3 x\right)+9 \sin x-9 x \cos x}{36}
qhh h!h#h$h%h&h'ub(hoq}q(hUhh_hhUhKhU*sage_notebook/worksheets/_scratch_/cells/6qhUhh$h%h'ubehOKhPU _scratch_qhR}qhTU"sage_notebook/worksheets/_scratch_qhV]qhXKhYhZhh[Kh\Kh]NubUcoverageq(hoq}q(h Ucoverageqh ]q((hoq}q(hUbuzzard_tpslopes(2,1,50)qhU!
qhhhhhUhM h2Ubuzzard_qhUros.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/coverage/cells/0")
buzzard_tpslopes(2,1,50)qhU)sage_notebook/worksheets/coverage/cells/0qhT%[[], [], [], [], [], [], [], [], [], [], [], [], [3], [], [], [], [3], [], [4], [], [3], [], [5], [], [3, 7], [], [4], [], [3, 8], [], [6, 6], [], [3, 7], [], [4, 8], [], [3, 9, 9], [], [5, 8], [], [3, 7, 11], [], [4, 9, 12], [], [3, 8, 11], [], [6, 6, 13], [], [3, 7, 12, 15], [], [4, 8, 13]]qhh h!h#h$h%h&h'ub(hoq}q(hU@factor(genus2reduction(x^3 - 2*x^2 - 2*x + 1, -5*x^5).conductor)qhU!
qhhhhhUhM h2UgenuqhUos.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/coverage/cells/1")
factor(genus2reduction(x^3 - 2*x^2 - 2*x + 1, -5*x^5).conductor)qhU)sage_notebook/worksheets/coverage/cells/1qhU
5^4 * 2267qhh h!h#h$h%h&h'ub(hoq}q(hU=ecm = ECM(); 
ecm.factor(next_prime(10^10)*next_prime(10^30))qhU!
qhhhhhUhM h2UECM.qhUos.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/coverage/cells/2")
ecm = ECM(); 
ecm.factor(next_prime(10^10)*next_prime(10^30))qhU)sage_notebook/worksheets/coverage/cells/2qhU.[10000000019, 1000000000000000000000000000057]qhh h!h#h$h%h&h'ub(hoq}q(hU4factor(ModularSymbols(389,2,sign=1).T(2).charpoly())qhU!
qhhhhhUhM hUos.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/coverage/cells/3")
factor(ModularSymbols(389,2,sign=1).T(2).charpoly())qhU)sage_notebook/worksheets/coverage/cells/3qhTE(x - 3) * (x + 2) * (x^2 - 2) * (x^3 - 4*x - 2) * (x^6 + 3*x^5 - 2*x^4 - 8*x^3 + 2*x^2 + 4*x - 1) * (x^20 - 3*x^19 - 29*x^18 + 91*x^17 + 338*x^16 - 1130*x^15 - 2023*x^14 + 7432*x^13 + 6558*x^12 - 28021*x^11 - 10909*x^10 + 61267*x^9 + 6954*x^8 - 74752*x^7 + 1407*x^6 + 46330*x^5 - 1087*x^4 - 12558*x^3 - 942*x^2 + 960*x + 148)qhh h!h#h$h%h&h'ub(hoq}q(hU)A. = QuaternionAlgebra(QQ,-1,-1)
AqhU!
qhhhhhUhM h2U
QuaternionAlgqhUos.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/coverage/cells/4")
A. = QuaternionAlgebra(QQ,-1,-1)
AqhU)sage_notebook/worksheets/coverage/cells/4qhU@Quaternion algebra with generators (i, j, k) over Rational Fieldqhh h!h#h$h%h&h'ub(hoq}q(hUi^2 + jqhU!
qhhhhhUhM hUaos.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/coverage/cells/5")
i^2 + jqhU)sage_notebook/worksheets/coverage/cells/5qhU-1 + jqhh h!h#h$h%h&h'ub(hoq}q(hU%SupersingularModule(37).T(2).matrix()qhU!
qhhhhhUhM hUos.chdir("/home/was/talks/2006-08-14-ccr-sage/sage_notebook/worksheets/coverage/cells/6")
SupersingularModule(37).T(2).matrix()qhU)sage_notebook/worksheets/coverage/cells/6qhUbSupersingular Module -- work in progress; use at own risk. (2006-08-08)
[1 1 1]
[1 0 2]
[1 2 0]qhh h!h#h$h%h&h'ub(hoq}q(hUhhhhUhM hU)sage_notebook/worksheets/coverage/cells/7qhUhh$h%h'ubehOKhPUcoverageqhR}qhTU!sage_notebook/worksheets/coverageqhV]qhXM hYhZhh[Kh\Kh]NubuU_Notebook__historyq]q(U9# Worksheet '_scratch_' (2006-08-15 at 00:38)
sage: 2^3
8qUL# Worksheet '_scratch_' (2006-08-15 at 00:38)
sage: factor(2006)
2 * 17 * 59qUJ# Worksheet '_scratch_' (2006-08-15 at 00:38)
sage: factor(2007)
3^2 * 223qTh# Worksheet '_scratch_' (2006-08-15 at 00:39)
sage: ModularSymbols(43).decomposition()
[
Modular Symbols subspace of dimension 1 of Modular Symbols space of dimension 7 for Gamma_0(43) of weight 2 with sign 0 over Rational Field,
Modular Symbols subspace of dimension 2 of Modular Symbols space of dimension 7 for Gamma_0(43) of weight 2 with sign 0 over ...qTo# Worksheet '_scratch_' (2006-08-15 at 00:39)
sage: ModularSymbols(43,sign=1).decomposition()
[
Modular Symbols subspace of dimension 1 of Modular Symbols space of dimension 4 for Gamma_0(43) of weight 2 with sign 1 over Rational Field,
Modular Symbols subspace of dimension 1 of Modular Symbols space of dimension 4 for Gamma_0(43) of weight 2 with sign 1 over ...qUo# Worksheet '_scratch_' (2006-08-15 at 00:39)
sage: time n=factorial(10^6)
CPU time: 3.61 s,  Wall time: 3.63 sqU{# Worksheet '_scratch_' (2006-08-15 at 00:40)
sage: show(factor(2007))
3^{2} \cdot 223
qU}# Worksheet '_scratch_' (2006-08-15 at 00:40) sage: view(factor(2007)) 3^{2} \cdot 223qTj# Worksheet '_scratch_' (2006-08-15 at 00:40) sage: view(maxima('sin(x^2)').integrate()) \frac{\sqrt{\pi} \left(\left(\sqrt{2} i+\sqrt{2}\right) \mathrm{erf}\left(\frac{\left(\sqrt{2} i+\sqrt{2}\right) x}{2} \right)+\left(\sqrt{2} i-\sqrt{2}\right) \mathrm{erf}\left(\frac{ \left(\sqrt{2} i-\sqrt{2}\right) x}{2}\right)\right)}{8}...qTj# Worksheet '_scratch_' (2006-08-15 at 00:40) sage: view(maxima('cos(x^2)').integrate()) -\frac{\sqrt{\pi} \left(\left(\sqrt{2} i-\sqrt{2}\right) \mathrm{erf}\left(\frac{\left(\sqrt{2} i+\sqrt{2}\right) x}{2} \right)+\left(\sqrt{2} i+\sqrt{2}\right) \mathrm{erf}\left(\frac{ \left(\sqrt{2} i-\sqrt{2}\right) x}{2}\right)\right)}{8...qU# Worksheet '_scratch_' (2006-08-15 at 00:40) sage: view(maxima('tan(x^2)').integrate()) \int {\tan x^2}{\;dx}qU# Worksheet '_scratch_' (2006-08-15 at 00:41) sage: view(maxima('tan(x)').integrate()) \log \sec xqU# Worksheet '_scratch_' (2006-08-15 at 00:41) sage: view(maxima('tan(1/x)').integrate()) \int {\tan \left(\frac{1}{x}\right)}{\;dx}qU# Worksheet '_scratch_' (2006-08-15 at 00:41) sage: view(maxima('sin(1/x)').integrate()) \sin \left(\frac{1}{x}\right) x+\int {\frac{\cos \left(\frac{1}{x} \right)}{x}}{\;dx}qU# Worksheet '_scratch_' (2006-08-15 at 00:41) sage: view(maxima('x*sin(x)*cos(x)^2').integrate()) \frac{\sin \left(3 x\right)-3 x \cos \left(3 x\right)+9 \sin x-9 x \cos x}{36}qU# Worksheet '_scratch_' (2006-08-15 at 00:41) sage: show(maxima('x*sin(x)*cos(x)^2').integrate())
\frac{\sin \left(3 x\right)-3 x \cos \left(3 x\right)+9 \sin x-9 x \cos x}{36}
qU\# Worksheet 'interfaces' (2006-08-15 at 00:42) sage: E = magma.EllipticCurve('[1,2,3,4,5]') qU# Worksheet 'interfaces' (2006-08-15 at 00:42) sage: E Elliptic Curve defined by y^2 + x*y + 3*y = x^3 + 2*x^2 + 4*x + 5 over Rational FieldqU# Worksheet 'interfaces' (2006-08-15 at 00:43) sage: E.MordellWeilGroup() Abelian Group isomorphic to Z Defined on 1 generator (free)qTe# Worksheet 'interfaces' (2006-08-15 at 00:43) sage: E.MordellWeilGroup(bound = 10) ... TypeError: Error evaluation Magma code. IN:_sage_[18] := MordellWeilGroup(_sage_[17] : bound:=10); OUT: >> _sage_[18] := MordellWeilGroup(_sage_[17] : bound:=10); ^ Runtime error in 'MordellWeilGroup': Parameter 'bound' is not d...qU# Worksheet 'interfaces' (2006-08-15 at 00:43) sage: E.MordellWeilGroup(Bound = 10) Abelian Group isomorphic to Z Defined on 1 generator (free)qUi# Worksheet 'interfaces' (2006-08-15 at 00:43) sage: type(E) qUD# Worksheet 'interfaces' (2006-08-15 at 00:43) sage: parent(E) MagmaqUI# Worksheet 'interfaces' (2006-08-15 at 00:43) sage: E.name() '_sage_[2]'qT]# Worksheet 'coverage' (2006-08-15 at 01:05) sage: buzzard_tpslopes(2,1,50) [[], [], [], [], [], [], [], [], [], [], [], [], [3], [], [], [], [3], [], [4], [], [3], [], [5], [], [3, 7], [], [4], [], [3, 8], [], [6, 6], [], [3, 7], [], [4, 8], [], [3, 9, 9], [], [5, 8], [], [3, 7, 11], [], [4, 9, 12], [], [3, 8, 11], [], [6, 6, 13], [], [3, 7, 1...qU~# Worksheet 'coverage' (2006-08-15 at 01:06) sage: factor(genus2reduction(x^3 - 2*x^2 - 2*x + 1, -5*x^5).conductor) 5^4 * 2267qU# Worksheet 'coverage' (2006-08-15 at 01:07) sage: ECM.factor(2007) ... TypeError: unbound method factor() must be called with ECM instance as first argument (got Integer instance instead)qU# Worksheet 'coverage' (2006-08-15 at 01:07) sage: ECM().factor(next_prime(10^10)*next_prime(10^11)) [10000000019, 100000000003]qU# Worksheet 'coverage' (2006-08-15 at 01:07) sage: ECM().factor(next_prime(10^10)*next_prime(10^30)) [10000000019, 1000000000000000000000000000057]qU# Worksheet 'coverage' (2006-08-15 at 01:07) sage: ecm = ECM(); print ecm sage: ecm.factor(next_prime(10^10)*next_prime(10^30)) [10000000019, 1000000000000000000000000000057]qU# Worksheet 'coverage' (2006-08-15 at 01:07) sage: ecm = ECM(); sage: ecm.factor(next_prime(10^10)*next_prime(10^30)) [10000000019, 1000000000000000000000000000057]qTy# Worksheet 'coverage' (2006-08-15 at 01:08) sage: factor(ModularSymbols(389,2,sign=1).T(2).charpoly()) (x - 3) * (x + 2) * (x^2 - 2) * (x^3 - 4*x - 2) * (x^6 + 3*x^5 - 2*x^4 - 8*x^3 + 2*x^2 + 4*x - 1) * (x^20 - 3*x^19 - 29*x^18 + 91*x^17 + 338*x^16 - 1130*x^15 - 2023*x^14 + 7432*x^13 + 6558*x^12 - 28021*x^11 - 10909*x^10 + 61267*x^9 + 6954*x^8 - 74752*x^7 + 1407*x^6 + 46...qU[# Worksheet 'coverage' (2006-08-15 at 01:09) sage: A. = QuaternionAlgebra(QQ,-1,-1) qUA# Worksheet 'coverage' (2006-08-15 at 01:09) sage: i^2 + j -1 + jqU# Worksheet 'coverage' (2006-08-15 at 01:09) sage: A. = QuaternionAlgebra(QQ,-1,-1) sage: A Quaternion algebra with generators (i, j, k) over Rational FieldqU# Worksheet 'coverage' (2006-08-15 at 01:09) sage: SupersingularModule(37).T(2) Supersingular Module -- work in progress; use at own risk. (2006-08-08) Hecke operator T_2 on Module of supersingular points on X_0(1)/F_37 over Integer RingqU# Worksheet 'coverage' (2006-08-15 at 01:09) sage: SupersingularModule(37).T(2).matrix() Supersingular Module -- work in progress; use at own risk. (2006-08-08) [1 1 1] [1 0 2] [1 2 0]qeU_Notebook__defaultsq}q(Ucell_output_colorqU#0000EEqUmax_history_lengthqMUcell_input_colorrU#0000000rUword_wrap_colsrKduU_Notebook__worksheet_dirrUsage_notebook/worksheetsrU_Notebook__filenamerUsage_notebook/nb.sobjrU_Notebook__default_worksheetrh_U_Notebook__next_worksheet_idrKU_default_filenamer U9/home/was/talks/2006-08-14-ccr-sage/sage_notebook/nb.sobjr U_Notebook__systemr NU_Notebook__show_debugr U_Notebook__dirr U sage_notebookrU_Notebook__authrU:U_Notebook__colorrNU_Notebook__object_dirrUsage_notebook/objectsrub.