# HG changeset patch
# User Nathann Cohen <nathann.cohen@gmail.com>
# Date 1374070149 7200
# Wed Jul 17 16:09:09 2013 +0200
# Node ID 8197d39fcd3d0bfce9dea0c01c6c301d44a76863
# Parent 205acaa3d319eda60f4f94a519a64dcd15ff1e0e
Adds numerical.backends.PPL_backend to the documentation
diff git a/doc/en/reference/numerical/index.rst b/doc/en/reference/numerical/index.rst
a

b


18  18  sage/numerical/backends/generic_backend 
19  19  sage/numerical/backends/glpk_backend 
20  20  sage/numerical/backends/glpk_graph_backend 
 21  sage/numerical/backends/ppl_backend 
21  22  
22  23  Sage also supports CBC (COINOR), CPLEX (ILOG), Gurobi and PPL. In order to find out 
23  24  how to use them in Sage, please refer to the `Thematic Tutorial on Linear 
diff git a/sage/numerical/backends/generic_backend.pyx b/sage/numerical/backends/generic_backend.pyx
a

b


974  974  <http://www.gurobi.com/>`_ web site. 
975  975  
976  976   PPL (``solver="PPL"``). See the `PPL 
977   <http://bugseng.com/products/ppl>` _ web site. 
 977  <http://bugseng.com/products/ppl>`_ web site. 
978  978  
979  979  ``solver`` should then be equal to one of ``"GLPK"``, ``"Coin"``, 
980  980  ``"CPLEX"``, ``"Gurobi"``, ``"PPL"``, or ``None``. If ``solver=None`` (default), 
diff git a/sage/numerical/backends/ppl_backend.pyx b/sage/numerical/backends/ppl_backend.pyx
a

b


221  221  Set the type of a variable. 
222  222  
223  223  EXAMPLE:: 
224   
225   sage: from sage.numerical.backends.generic_backend import get_solver 
226   sage: p = get_solver(solver = "PPL") 
227   sage: p.add_variables(5) 
228   4 
229   sage: p.set_variable_type(3, 1) 
230   sage: p.set_variable_type(3, 2) 
231   Traceback (most recent call last): 
232   ... 
233   Exception: ... 
 224  
 225  sage: from sage.numerical.backends.generic_backend import get_solver 
 226  sage: p = get_solver(solver = "PPL") 
 227  sage: p.add_variables(5) 
 228  4 
 229  sage: p.set_variable_type(3, 1) 
 230  sage: p.set_variable_type(3, 2) 
 231  Traceback (most recent call last): 
 232  ... 
 233  Exception: ... 
234  234  """ 
235  235  if vtype != 1: 
236  236  raise Exception('This backend does not handle integer variables ! Read the doc !') 