dzialajacy artin schreier; przed dodaniem base field

This commit is contained in:
jgarnek 2022-10-21 10:03:26 +00:00
parent d30ead5c7d
commit 6ad70753d7
1 changed files with 3 additions and 5 deletions

View File

@ -2,7 +2,7 @@
"cells": [ "cells": [
{ {
"cell_type": "code", "cell_type": "code",
"execution_count": 55, "execution_count": 1,
"metadata": { "metadata": {
"collapsed": false "collapsed": false
}, },
@ -322,12 +322,10 @@
" RptW.<W> = PolynomialRing(RtQ)\n", " RptW.<W> = PolynomialRing(RtQ)\n",
" fct = RptW(fct)\n", " fct = RptW(fct)\n",
" alpha = (fct.derivative())(W = start)\n", " alpha = (fct.derivative())(W = start)\n",
" w0 = Rt(1)\n", " w0 = Rt(start)\n",
" i = 1\n", " i = 1\n",
" while(i < prec):\n", " while(i < prec):\n",
" a = 0\n", " w0 = w0 - fct(W = w0)/alpha + O(t^(prec))\n",
" while(Rt(fct(W = w0)).valuation()) <= i:\n",
" w0 = w0 - fct(W = w0)/alpha\n",
" i += 1\n", " i += 1\n",
" return w0\n", " return w0\n",
"\n", "\n",