#include <RealAlgebraicPoint.h>

Public Member Functions
	RealAlgebraicPoint ()
	Creates an empty Point of dimension 0.
	RealAlgebraicPoint (const RealAlgebraicPoint &r)
	Copy constructor.
	RealAlgebraicPoint (size_t size)
	Constructor reserving a given dimension.
	RealAlgebraicPoint (const vector< RealAlgebraicNumberPtr > &v)
	Creates a real algebraic point with the specified components.
	RealAlgebraicPoint (const list< RealAlgebraicNumberPtr > &v)
	Creates a real algebraic point with the specified components from a list.
const unsigned	dim () const
	Gives the number of components of this point.
RealAlgebraicPoint	conjoin (const RealAlgebraicNumberPtr &r)
	Conjoins a point with a real algebraic number and returns the conjoined point as new object.

Detailed Description

Author:: Joachim Redies; Ulrich Loup

Since:: 2011-10-26

Version:: 2011-12-29

Notation is following http://www.possibility.com/Cpp/CppCodingStandard.html.

Definition at line 46 of file RealAlgebraicPoint.h.

Constructor & Destructor Documentation

GiNaCRA::RealAlgebraicPoint::RealAlgebraicPoint ( ) [inline]

Creates an empty Point of dimension 0.

Definition at line 58 of file RealAlgebraicPoint.h.

Referenced by conjoin().

GiNaCRA::RealAlgebraicPoint::RealAlgebraicPoint ( const RealAlgebraicPoint & r ) [inline]

Copy constructor.

Parameters:

r

Definition at line 66 of file RealAlgebraicPoint.h.

GiNaCRA::RealAlgebraicPoint::RealAlgebraicPoint ( size_t size ) [inline]

Constructor reserving a given dimension.

Parameters:

size

Definition at line 74 of file RealAlgebraicPoint.h.

GiNaCRA::RealAlgebraicPoint::RealAlgebraicPoint ( const vector< RealAlgebraicNumberPtr > & v ) [inline]

Creates a real algebraic point with the specified components.

Parameters:

v	pointers to real algebraic numbers

Definition at line 82 of file RealAlgebraicPoint.h.

GiNaCRA::RealAlgebraicPoint::RealAlgebraicPoint ( const list< RealAlgebraicNumberPtr > & v ) [inline]

Creates a real algebraic point with the specified components from a list.

Parameters:

v	pointers to real algebraic numbers

Definition at line 90 of file RealAlgebraicPoint.h.

Member Function Documentation

RealAlgebraicPoint GiNaCRA::RealAlgebraicPoint::conjoin ( const RealAlgebraicNumberPtr & r )

Conjoins a point with a real algebraic number and returns the conjoined point as new object.

e.g.: a point of dimension n conjoined with a real algebraic number is a point of dimension n+1.

Parameters:

r	additional dimension given as real algebraic number

Returns:: real algebraic point with higher dimension

Definition at line 45 of file RealAlgebraicPoint.cpp.

References RealAlgebraicPoint().

const unsigned GiNaCRA::RealAlgebraicPoint::dim ( ) const

Gives the number of components of this point.

Returns:: the dimension of this point

Definition at line 40 of file RealAlgebraicPoint.cpp.

Referenced by GiNaCRA::CAD::samples(), and GiNaCRA::Constraint::satisfiedBy().

The documentation for this class was generated from the following files:

Public Member Functions

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation