November 2006 - PPL-devel - BUGSENG Mailman

something not clear...
by Alessandro Vincenzi 02 Nov '06

02 Nov '06

Hi, i've started to read the ppl documentation, and i've found a doubt reading section at page 8: 1.4.5 Removing Dimensions from the vector space. and in particular, how the remove_space_dimension works. In fact from the example i can not understand why applying the operator on the singleton set {(3,1,0,2)^T} in R^4 with the variable set {x_1, x_2} we obtain just {(3,2)^T}. Namely, i can not understand which is the connection between the set of variables gived to the operator and the two dimensions removed from P (i.e the second and the third). Instead, the remove_higher_space_dimension operator is simpler because is easy to understand that it removes all the dimensions i >= m. Thanks, Alessandro Vincenzi

3 2

ppl/src checked_float.inlines.hh
by Roberto Bagnara 02 Nov '06

02 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-02 11:29:25 Modified files: src : checked_float.inlines.hh Log message: Unwanted changes withdrawn. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src Checked_Number.defs.hh checked.defs.hh
by Roberto Bagnara 02 Nov '06

02 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-02 11:09:14 Modified files: src : Checked_Number.defs.hh checked.defs.hh Log message: Enable inexact check when requested. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr…

1 0

ppl/src checked_float.inlines.hh
by Roberto Bagnara 02 Nov '06

02 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-02 11:08:49 Modified files: src : checked_float.inlines.hh Log message: Fixed missing round direction extraction. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src Checked_Number.defs.hh checked.defs.hh ...
by Roberto Bagnara 02 Nov '06

02 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-02 10:55:05 Modified files: src : Checked_Number.defs.hh checked.defs.hh checked_float.inlines.hh Log message: Previous changes reverted (they were meant for the `altnum' branch only). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 02 Nov '06

02 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-02 10:03:33 Modified files: src : Interval.defs.hh Log message: Added more functions. Added some notes to not forget. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src checked_float.inlines.hh
by Abramo Bagnara 01 Nov '06

01 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2006-11-01 23:00:42 Modified files: src : checked_float.inlines.hh Log message: Fixed missing round direction extraction. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src Checked_Number.defs.hh checked.defs.hh
by Abramo Bagnara 01 Nov '06

01 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2006-11-01 22:59:26 Modified files: src : Checked_Number.defs.hh checked.defs.hh Log message: Enable inexact check when requested. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 01 Nov '06

01 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-01 22:56:53 Modified files: src : Interval.defs.hh Log message: More work on new intervals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src MIP_Problem.cc
by Roberto Bagnara 01 Nov '06

01 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-01 22:29:20 Modified files: src : MIP_Problem.cc Log message: Block indentation corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0