You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
---------------------------------------------------------------------------RuntimeErrorTraceback (mostrecentcalllast)
CellIn[29], line1---->1p.coordinates('half_plane')
File~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/flatsurf/geometry/hyperbolic.py:8767, inHyperbolicPoint.coordinates(self, model, ring)
8765square=1-x*x-y*y8766try:
->8767sqrt=square.sqrt()
8768ifsqrtnotinx.parent():
8769raiseValueError(f"square root of {square} not in {x.parent()}")
File~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/rings/number_field/number_field_element.pyx:2264, insage.rings.number_field.number_field_element.NumberFieldElement.sqrt (build/cythonized/sage/rings/number_field/number_field_element.cpp:22045)()
2262fromsage.misc.functionalimportsqrt2263fromsage.symbolic.ringimportSR->2264root=sqrt(SR(self))
2265roots= [[root, 1], [-root, 1]]
2266exceptTypeError:
File~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/structure/parent.pyx:897, insage.structure.parent.Parent.__call__ (build/cythonized/sage/structure/parent.c:9534)()
895ifmorisnotNone:
896ifno_extra_args:
-->897returnmor._call_(x)
898else:
899returnmor._call_with_args(x, args, kwds)
File~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/structure/coerce_maps.pyx:287, insage.structure.coerce_maps.NamedConvertMap._call_ (build/cythonized/sage/structure/coerce_maps.c:6236)()
285raiseTypeError("Cannot coerce {} to {}".format(x, C))
286cdefMapm-->287cdefElemente=method(C)
288ifeisNone:
289raiseRuntimeError("BUG in coercion model: {} method of {} returned None".format(self.method_name, type(x)))
File~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/rings/number_field/number_field_element.pyx:2965, insage.rings.number_field.number_field_element.NumberFieldElement._symbolic_ (build/cythonized/sage/rings/number_field/number_field_element.cpp:27165)()
2963# Convert the embedding to an embedding into AA or QQbar2964embedding=refine_embedding(embedding, infinity)
->2965a=embedding(self).radical_expression()
2966ifa.parent() ==SR:
2967returnaFile~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/rings/qqbar.py:4700, inAlgebraicNumber_base.radical_expression(self)
4698else:
4699interval_field=ComplexIntervalField(self._value.prec())
->4700roots=poly.roots(SR, multiplicities=False)
4701iflen(roots) !=poly.degree():
4702returnselfFile~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/rings/polynomial/polynomial_element.pyx:8235, insage.rings.polynomial.polynomial_element.Polynomial.roots (build/cythonized/sage/rings/polynomial/polynomial_element.c:66304)()
8233var=SR(vname)
8234expr=self(var)
->8235rts=expr.solve(var,
8236explicit_solutions=True,
8237multiplicities=multiplicities)
File~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/symbolic/expression.pyx:12320, insage.symbolic.expression.Expression.solve (build/cythonized/sage/symbolic/expression.cpp:91690)()
12318""" 12319 from sage.symbolic.relation import solve> 12320 return solve(self, x, multiplicities=multiplicities, 12321 solution_dict=solution_dict, 12322 explicit_solutions=explicit_solutions,File ~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/symbolic/relation.py:1071, in solve(f, *args, **kwds) 1066 raise TypeError("The first argument to solve() should be a " 1067 "symbolic expression or a list of symbolic " 1068 "expressions.") 1070 if isinstance(f, Expression): # f is a single expression-> 1071 return _solve_expression(f, x, explicit_solutions, multiplicities, to_poly_solve, solution_dict, algorithm, domain) 1073 if not isinstance(f, (list, tuple)): 1074 raise TypeError("The first argument must be a symbolic expression or a list of symbolic expressions.")File ~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/symbolic/relation.py:1330, in _solve_expression(f, x, explicit_solutions, multiplicities, to_poly_solve, solution_dict, algorithm, domain) 1327 return _giac_solver(f, x, solution_dict) 1329 # from here on, maxima is used for solution-> 1330 m = ex._maxima_() 1331 P = m.parent() 1332 if explicit_solutions:File ~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/symbolic/expression.pyx:1236, in sage.symbolic.expression.Expression._maxima_ (build/cythonized/sage/symbolic/expression.cpp:36201)() 1234 # Maybe not such a great idea because the "default" interface is another one 1235 from sage.calculus.calculus import maxima-> 1236 return super()._interface_(maxima) 1237 else: 1238 return super()._interface_(session)File ~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/structure/sage_object.pyx:686, in sage.structure.sage_object.SageObject._interface_ (build/cythonized/sage/structure/sage_object.c:5708)() 684 except (KeyError, ValueError): 685 pass--> 686 nm = I.name() 687 init_func = getattr(self, '_%s_init_' % nm, None) 688 if init_func is not None:File ~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/misc/lazy_import.pyx:359, in sage.misc.lazy_import.LazyImport.__getattr__ (build/cythonized/sage/misc/lazy_import.c:4242)() 357 True 358 """-->359returngetattr(self.get_object(), attr)
360361# We need to wrap all the slot methods, as they are not forwardedFile~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/misc/lazy_import.pyx:216, insage.misc.lazy_import.LazyImport.get_object (build/cythonized/sage/misc/lazy_import.c:2674)()
214iflikely(self._objectisnotNone):
215returnself._object-->216returnself._get_object()
217218cpdef_get_object(self):
File~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/misc/lazy_import.pyx:252, insage.misc.lazy_import.LazyImport._get_object (build/cythonized/sage/misc/lazy_import.c:2998)()
250251try:
-->252self._object=getattr(__import__(self._module, {}, {}, [self._name]), self._name)
253exceptImportErrorase:
254ifself._feature:
File~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/interfaces/maxima_lib.py:112110ecl_eval("(setf *load-verbose* NIL)")
111ifMAXIMA_FAS:
-->112ecl_eval("(require 'maxima \"{}\")".format(MAXIMA_FAS))
113else:
114ecl_eval("(require 'maxima)")
File~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/libs/ecl.pyx:1352, insage.libs.ecl.ecl_eval (build/cythonized/sage/libs/ecl.c:10944)()
13501351#convenience routine to more easily evaluate strings->1352cpdefEclObjectecl_eval(strs):
1353r""" 1354 Read and evaluate string in Lisp and return the resultFile ~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/libs/ecl.pyx:1375, in sage.libs.ecl.ecl_eval (build/cythonized/sage/libs/ecl.c:10877)() 1373 """1374cdefcl_objecto->1375o=ecl_safe_eval(python_to_ecl(s, True))
1376returnecl_wrap(o)
1377File~/proj/eskin/flatsurf-0.5.2/lib/python3.9/site-packages/sage/libs/ecl.pyx:321, insage.libs.ecl.ecl_safe_eval (build/cythonized/sage/libs/ecl.c:5659)()
319raiseKeyboardInterrupt("ECL says: {}".format(message))
320else:
-->321raiseRuntimeError("ECL says: {}".format(message))
322else:
323returnretRuntimeError: ECLsays: Filesystemerrorwithpathname#P"/home/jule/proj/eskin/flatsurf-0.5.2/lib/ecl/maxima.fas".Either1) thefiledoesnotexist, or2) wearenotallowedtoaccessthefile, or3) thepathnamepointstoabrokensymboliclink.
The text was updated successfully, but these errors were encountered:
The underlying problem is that
elt.square_root()
whenelt
belongs to a number field, relies on the symbolic ring.gives
The text was updated successfully, but these errors were encountered: