regiondiff

REGIONDIFF Region difference

 R=refiondiff(P,Pn,Options)

 ---------------------------------------------------------------------------
 DESCRIPTION
 ---------------------------------------------------------------------------
 Function computes the difference between polytope P
 and union of polytopes Pn:  R=P\(U Pn).
 In general output P is a polytope array containing
 non-overlapping polytopes whose union is equal to
 the difference P\(U Pn).

 USAGE:
   R=regiondiff(P,Pn)
   R=regiondiff(P,Pn,Options)

 Note:
  Function is actually designed to answer the question
   is P subset of (U Pn) ?
  if answer is YES then P=empty polytope.

 ---------------------------------------------------------------------------
 INPUT
 ---------------------------------------------------------------------------
 P                     - polytope
 Pn                    - polytope array
 Options.abs_tol       - absolute tolerance
 Options.intersect_tol - tolerance to detect intersection
 Options.lpsolver      - Which LP solver to use (see help mpt_solveLP)
 Options.constructset  - if 1, construct the whole difference
 Options.reduce        - if 0, the polyarray Pn will not be reduced (for fast
                         coverage detection)
 Options.reduce_output - if 0, the set P\Pn will not be reduced, i.e.
                         redundant constraints will not be removed (for fast
                         coverage detection)
 Options.presolved     - set to 1 if elements of Pn consist just of "active
                         constraints". 0 otherwise

 Note: If Options is missing or some of the fields are not defined, the default
       values from mptOptions will be used

 ---------------------------------------------------------------------------
 OUTPUT                                                                                                    
 ---------------------------------------------------------------------------
 R   - polytope array containing non-overlapping polytopes whose union is equal to P\Pn

 see also MLDIVIDE, REGIONDIFFXU