Skip to content

Commit

Permalink
sage math imports: Importing RIF and CIF locally.
Browse files Browse the repository at this point in the history
  • Loading branch information
unhyperbolic committed Jan 14, 2025
1 parent 09f5fa9 commit d8e87c6
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion python/verify/upper_halfspace/ideal_point.py
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@
from ...sage_helper import _within_sage

if _within_sage:
from ...sage_helper import I, matrix, RIF, CIF
from ...sage_helper import I, matrix
from ...sage_helper import Infinity as sage_Infinity

from .finite_point import *
Expand Down Expand Up @@ -398,6 +398,7 @@ class _IdealPointTester():
"""

def matrices(self):
from ...sage_helper import RIF, CIF
return [
matrix.identity(CIF, 2),
matrix(
Expand All @@ -408,6 +409,7 @@ def matrices(self):
[CIF(RIF(-0.3), RIF(1.1)), CIF(1)]]) ]

def run_tests(self):
from ...sage_helper import RIF, CIF
bias = RIF(1.5)

triangle = [ CIF(0), Infinity, CIF(1) ]
Expand Down

0 comments on commit d8e87c6

Please sign in to comment.