From: Michael Orlitzky Date: Mon, 11 Jan 2016 03:40:26 +0000 (-0500) Subject: Don't check the cones constructed in motzkin_decomposition(). X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=86442dc35e3dbbf69dc91caa1222d4dfce2fb106;p=sage.d.git Don't check the cones constructed in motzkin_decomposition(). --- diff --git a/mjo/cone/cone.py b/mjo/cone/cone.py index 05c55ba..68fd193 100644 --- a/mjo/cone/cone.py +++ b/mjo/cone/cone.py @@ -163,11 +163,11 @@ def motzkin_decomposition(K): # The lines() method only returns one generator per line. For a true # line, we also need a generator pointing in the opposite direction. S_gens = [ direction*gen for direction in [1,-1] for gen in K.lines() ] - S = Cone(S_gens, K.lattice()) + S = Cone(S_gens, K.lattice(), check=False) # Since ``S`` is a subspace, the rays of its dual generate its # orthogonal complement. - S_perp = Cone(S.dual(), K.lattice()) + S_perp = Cone(S.dual(), K.lattice(), check=False) P = K.intersection(S_perp) return (P,S)