Changeset 8371:1bdb1c81793f
- Timestamp:
- 11/08/07 09:01:35 (6 years ago)
- Branch:
- default
- Location:
- sage/rings/number_field
- Files:
-
- 2 edited
-
totallyreal.py (modified) (1 diff)
-
totallyreal_data.pyx (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
-
sage/rings/number_field/totallyreal.py
r8369 r8371 323 323 S.pop(j) 324 324 else: 325 S.pop(i) 325 s = S.pop(i) 326 S.insert(i, S.pop(j)) 326 327 else: 327 328 j += 1 328 i = j329 i += 1 329 330 330 331 def timestr(m): -
sage/rings/number_field/totallyreal_data.pyx
r8369 r8371 175 175 rts[i] = newton(f, df, n, (beta[i]+beta[i+1])/2, eps) 176 176 177 def __lagrange_degree_3(n, an1, an2, an3):177 def lagrange_degree_3(n, an1, an2, an3): 178 178 r""" 179 179 Private function. Solves the equations which arise in the Lagrange multiplier … … 185 185 186 186 EXAMPLES: 187 sage: sage.rings.number_field.totallyreal_data. __lagrange_degree_3(3, 0, 1, 2)187 sage: sage.rings.number_field.totallyreal_data.lagrange_degree_3(3, 0, 1, 2) 188 188 [-1.000000019137512, -0.99999998086248831] 189 sage: sage.rings.number_field.totallyreal_data. __lagrange_degree_3(3, 6, 1, 2)189 sage: sage.rings.number_field.totallyreal_data.lagrange_degree_3(3, 6, 1, 2) 190 190 [-5.8878509412236602, -5.887850753893237] 191 191 """ … … 452 452 self.b_upper = -1./n*(self.a[n-1] - (n-1.)*sqrt((1.*self.a[n-1])**2 - 2.*(1+1./(n-1))*self.a[n-2])) 453 453 if k < n-2: 454 bminmax = __lagrange_degree_3(n,a[n-1],a[n-2],a[n-3])454 bminmax = lagrange_degree_3(n,a[n-1],a[n-2],a[n-3]) 455 455 self.b_lower = bminmax[0] 456 456 self.b_upper = bminmax[1] … … 652 652 elif k == n-4: 653 653 # New bounds from Lagrange multiplier in degree 3. 654 bminmax = __lagrange_degree_3(n,self.a[n-1],self.a[n-2],self.a[n-3])654 bminmax = lagrange_degree_3(n,self.a[n-1],self.a[n-2],self.a[n-3]) 655 655 self.b_lower = bminmax[0] 656 656 self.b_upper = bminmax[1]
Note: See TracChangeset
for help on using the changeset viewer.
