Specialization of symbol to real positive domain. More...
#include <symbol.h>
Inheritance diagram for GiNaC::possymbol:
Public Member Functions | |
| possymbol () | |
| possymbol (const std::string &initname) | |
| possymbol (const std::string &initname, const std::string &texname) | |
| unsigned | get_domain () const override |
| possymbol * | duplicate () const override |
| Create a clone of this object on the heap. More... | |
 Public Member Functions inherited from GiNaC::realsymbol | |
| realsymbol () | |
| realsymbol (const std::string &initname) | |
| realsymbol (const std::string &initname, const std::string &texname) | |
| unsigned | get_domain () const override |
| ex | conjugate () const override |
| ex | real_part () const override |
| ex | imag_part () const override |
| realsymbol * | duplicate () const override |
| Create a clone of this object on the heap. More... | |
| Public Member Functions inherited from GiNaC::symbol | |
| symbol (const std::string &initname) | |
| symbol (const std::string &initname, const std::string &texname) | |
| bool | info (unsigned inf) const override |
| Information about the object. More... | |
| ex | eval () const override |
| Perform automatic non-interruptive term rewriting rules. More... | |
| ex | evalf () const override |
| Evaluate object numerically. More... | |
| ex | series (const relational &s, int order, unsigned options=0) const override |
| Implementation of ex::series() for symbols. More... | |
| ex | subs (const exmap &m, unsigned options=0) const override |
| Substitute a set of objects by arbitrary expressions. More... | |
| ex | normal (exmap &repl, exmap &rev_lookup, lst &modifier) const override |
| Implementation of ex::normal() for symbols. More... | |
| ex | to_rational (exmap &repl) const override |
| Implementation of ex::to_rational() for symbols. More... | |
| ex | to_polynomial (exmap &repl) const override |
| Implementation of ex::to_polynomial() for symbols. More... | |
| ex | conjugate () const override |
| ex | real_part () const override |
| ex | imag_part () const override |
| bool | is_polynomial (const ex &var) const override |
| Check whether this is a polynomial in the given variables. More... | |
| void | archive (archive_node &n) const override |
| Save (a.k.a. More... | |
| void | read_archive (const archive_node &n, lst &syms) override |
| Read (a.k.a. More... | |
| virtual unsigned | get_domain () const |
| void | set_name (const std::string &n) |
| void | set_TeX_name (const std::string &n) |
| std::string | get_name () const |
| std::string | get_TeX_name () const |
| Public Member Functions inherited from GiNaC::basic | |
| virtual | ~basic () |
| basic destructor, virtual because class ex will delete objects of derived classes via a basic*. More... | |
| basic (const basic &other) | |
| const basic & | operator= (const basic &other) |
| basic assignment operator: the other object might be of a derived class. More... | |
| virtual basic * | duplicate () const |
| Create a clone of this object on the heap. More... | |
| virtual ex | eval () const |
| Perform automatic non-interruptive term rewriting rules. More... | |
| virtual ex | evalf () const |
| Evaluate object numerically. More... | |
| virtual ex | evalm () const |
| Evaluate sums, products and integer powers of matrices. More... | |
| virtual ex | eval_integ () const |
| Evaluate integrals, if result is known. More... | |
| virtual ex | eval_indexed (const basic &i) const |
| Perform automatic symbolic evaluations on indexed expression that contains this object as the base expression. More... | |
| virtual void | print (const print_context &c, unsigned level=0) const |
| Output to stream. More... | |
| virtual void | dbgprint () const |
| Little wrapper around print to be called within a debugger. More... | |
| virtual void | dbgprinttree () const |
| Little wrapper around printtree to be called within a debugger. More... | |
| virtual unsigned | precedence () const |
| Return relative operator precedence (for parenthezing output). More... | |
| virtual bool | info (unsigned inf) const |
| Information about the object. More... | |
| virtual size_t | nops () const |
| Number of operands/members. More... | |
| virtual ex | op (size_t i) const |
| Return operand/member at position i. More... | |
| virtual ex | operator[] (const ex &index) const |
| virtual ex | operator[] (size_t i) const |
| virtual ex & | let_op (size_t i) |
| Return modifiable operand/member at position i. More... | |
| virtual ex & | operator[] (const ex &index) |
| virtual ex & | operator[] (size_t i) |
| virtual bool | has (const ex &other, unsigned options=0) const |
| Test for occurrence of a pattern. More... | |
| virtual bool | match (const ex &pattern, exmap &repls) const |
| Check whether the expression matches a given pattern. More... | |
| virtual ex | subs (const exmap &m, unsigned options=0) const |
| Substitute a set of objects by arbitrary expressions. More... | |
| virtual ex | map (map_function &f) const |
| Construct new expression by applying the specified function to all sub-expressions (one level only, not recursively). More... | |
| virtual void | accept (GiNaC::visitor &v) const |
| virtual bool | is_polynomial (const ex &var) const |
| Check whether this is a polynomial in the given variables. More... | |
| virtual int | degree (const ex &s) const |
| Return degree of highest power in object s. More... | |
| virtual int | ldegree (const ex &s) const |
| Return degree of lowest power in object s. More... | |
| virtual ex | coeff (const ex &s, int n=1) const |
| Return coefficient of degree n in object s. More... | |
| virtual ex | expand (unsigned options=0) const |
| Expand expression, i.e. More... | |
| virtual ex | collect (const ex &s, bool distributed=false) const |
| Sort expanded expression in terms of powers of some object(s). More... | |
| virtual ex | series (const relational &r, int order, unsigned options=0) const |
| Default implementation of ex::series(). More... | |
| virtual ex | normal (exmap &repl, exmap &rev_lookup, lst &modifier) const |
| Default implementation of ex::normal(). More... | |
| virtual ex | to_rational (exmap &repl) const |
| Default implementation of ex::to_rational(). More... | |
| virtual ex | to_polynomial (exmap &repl) const |
| virtual numeric | integer_content () const |
| virtual ex | smod (const numeric &xi) const |
| Apply symmetric modular homomorphism to an expanded multivariate polynomial. More... | |
| virtual numeric | max_coefficient () const |
| Implementation ex::max_coefficient(). More... | |
| virtual exvector | get_free_indices () const |
| Return a vector containing the free indices of an expression. More... | |
| virtual ex | add_indexed (const ex &self, const ex &other) const |
| Add two indexed expressions. More... | |
| virtual ex | scalar_mul_indexed (const ex &self, const numeric &other) const |
| Multiply an indexed expression with a scalar. More... | |
| virtual bool | contract_with (exvector::iterator self, exvector::iterator other, exvector &v) const |
| Try to contract two indexed expressions that appear in the same product. More... | |
| virtual unsigned | return_type () const |
| virtual return_type_t | return_type_tinfo () const |
| virtual ex | conjugate () const |
| virtual ex | real_part () const |
| virtual ex | imag_part () const |
| template<class T > | |
| void | print_dispatch (const print_context &c, unsigned level) const |
| Like print(), but dispatch to the specified class. More... | |
| void | print_dispatch (const registered_class_info &ri, const print_context &c, unsigned level) const |
| Like print(), but dispatch to the specified class. More... | |
| virtual void | archive (archive_node &n) const |
| Save (serialize) the object into archive node. More... | |
| virtual void | read_archive (const archive_node &n, lst &syms) |
| Load (deserialize) the object from an archive node. More... | |
| ex | subs_one_level (const exmap &m, unsigned options) const |
| Helper function for subs(). More... | |
| ex | diff (const symbol &s, unsigned nth=1) const |
| Default interface of nth derivative ex::diff(s, n). More... | |
| int | compare (const basic &other) const |
| Compare objects syntactically to establish canonical ordering. More... | |
| bool | is_equal (const basic &other) const |
| Test for syntactic equality. More... | |
| const basic & | hold () const |
| Stop further evaluation. More... | |
| unsigned | gethash () const |
| const basic & | setflag (unsigned f) const |
| Set some status_flags. More... | |
| const basic & | clearflag (unsigned f) const |
| Clear some status_flags. More... | |
| Public Member Functions inherited from GiNaC::refcounted | |
| refcounted () noexcept | |
| unsigned int | add_reference () noexcept |
| unsigned int | remove_reference () noexcept |
| unsigned int | get_refcount () const noexcept |
| void | set_refcount (unsigned int r) noexcept |
Additional Inherited Members | |
| Protected Member Functions inherited from GiNaC::symbol | |
| ex | derivative (const symbol &s) const override |
| Implementation of ex::diff() for single differentiation of a symbol. More... | |
| bool | is_equal_same_type (const basic &other) const override |
| Returns true if two objects of same type are equal. More... | |
| unsigned | calchash () const override |
| Compute the hash value of an object and if it makes sense to store it in the objects status_flags, do so. More... | |
| void | do_print (const print_context &c, unsigned level) const |
| void | do_print_latex (const print_latex &c, unsigned level) const |
| void | do_print_tree (const print_tree &c, unsigned level) const |
| void | do_print_python_repr (const print_python_repr &c, unsigned level) const |
| Protected Member Functions inherited from GiNaC::basic | |
| basic () | |
| virtual ex | eval_ncmul (const exvector &v) const |
| virtual bool | match_same_type (const basic &other) const |
| Returns true if the attributes of two objects are similar enough for a match. More... | |
| virtual ex | derivative (const symbol &s) const |
| Default implementation of ex::diff(). More... | |
| virtual int | compare_same_type (const basic &other) const |
| Returns order relation between two objects of same type. More... | |
| virtual bool | is_equal_same_type (const basic &other) const |
| Returns true if two objects of same type are equal. More... | |
| virtual unsigned | calchash () const |
| Compute the hash value of an object and if it makes sense to store it in the objects status_flags, do so. More... | |
| void | ensure_if_modifiable () const |
| Ensure the object may be modified without hurting others, throws if this is not the case. More... | |
| void | do_print (const print_context &c, unsigned level) const |
| Default output to stream. More... | |
| void | do_print_tree (const print_tree &c, unsigned level) const |
| Tree output to stream. More... | |
| void | do_print_python_repr (const print_python_repr &c, unsigned level) const |
| Python parsable output to stream. More... | |
| Protected Attributes inherited from GiNaC::symbol | |
| unsigned | serial |
| unique serial number for comparison More... | |
| std::string | name |
| printname of this symbol More... | |
| std::string | TeX_name |
| LaTeX name of this symbol. More... | |
| Protected Attributes inherited from GiNaC::basic | |
| unsigned | flags |
| of type status_flags More... | |
| unsigned | hashvalue |
| hash value More... | |
Detailed Description
Constructor & Destructor Documentation
◆ possymbol() [1/3]
| GiNaC::possymbol::possymbol | ( | ) |
Definition at line 59 of file symbol.cpp.
Referenced by duplicate().
◆ possymbol() [2/3]
|
explicit |
Definition at line 90 of file symbol.cpp.
◆ possymbol() [3/3]
| GiNaC::possymbol::possymbol | ( | const std::string & | initname, |
| const std::string & | texname | ||
| ) |
Definition at line 92 of file symbol.cpp.
Member Function Documentation
◆ get_domain()
|
inlineoverridevirtual |
Reimplemented from GiNaC::realsymbol.
Definition at line 129 of file symbol.h.
References GiNaC::domain::positive.
◆ duplicate()
|
inlineoverridevirtual |
Create a clone of this object on the heap.
One can think of this as simulating a virtual copy constructor which is needed for instance by the refcounted construction of an ex from a basic.
Reimplemented from GiNaC::realsymbol.
Definition at line 131 of file symbol.h.
References GiNaC::status_flags::dynallocated, possymbol(), and GiNaC::basic::setflag().
The documentation for this class was generated from the following files: