X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Ffderivative.cpp;h=30157c44d5a7d949d6a253c50a79218a18838fc2;hp=9e3c981a78c9c0629b301fc67b5fbe95dbfd0e99;hb=f62443c1f2c678be0b6ff6ce58618f6e3b4cdfa8;hpb=9413cd14faaf2980de3884915e22a5beda068ecc;ds=sidebyside diff --git a/ginac/fderivative.cpp b/ginac/fderivative.cpp index 9e3c981a..30157c44 100644 --- a/ginac/fderivative.cpp +++ b/ginac/fderivative.cpp @@ -3,7 +3,7 @@ * Implementation of abstract derivatives of functions. */ /* - * GiNaC Copyright (C) 1999-2016 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2017 Johannes Gutenberg University Mainz, Germany * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by @@ -31,6 +31,7 @@ namespace GiNaC { GINAC_IMPLEMENT_REGISTERED_CLASS_OPT(fderivative, function, print_func(&fderivative::do_print). + print_func(&fderivative::do_print_latex). print_func(&fderivative::do_print_csrc). print_func(&fderivative::do_print_tree)) @@ -111,6 +112,23 @@ void fderivative::do_print(const print_context & c, unsigned level) const printseq(c, '(', ',', ')', exprseq::precedence(), function::precedence()); } +void fderivative::do_print_latex(const print_context & c, unsigned level) const +{ + int order=1; + c.s << "\\partial_{"; + auto i = parameter_set.begin(), end = parameter_set.end(); + --end; + while (i != end) { + ++order; + c.s << *i++ << ","; + } + c.s << *i << "}"; + if (order>1) + c.s << "^{" << order << "}"; + c.s << "(" << registered_functions()[serial].TeX_name << ")"; + printseq(c, '(', ',', ')', exprseq::precedence(), function::precedence()); +} + void fderivative::do_print_csrc(const print_csrc & c, unsigned level) const { c.s << "D_"; @@ -215,4 +233,20 @@ bool fderivative::match_same_type(const basic & other) const return parameter_set == o.parameter_set && inherited::match_same_type(other); } +/** Expose this object's derivative structure. + * + * Parameter numbers occurring more than once stand for repeated + * differentiation with respect to that parameter. If a symbolic function + * f(x,y) is differentiated with respect to x, this method will return {0}. + * If f(x,y) is differentiated twice with respect to y, it will return {1,1}. + * (This corresponds to the way this object is printed.) + * + * @return multiset of function's parameter numbers that are abstractly + * differentiated. */ +const paramset& fderivative::derivatives() const +{ + return parameter_set; +} + + } // namespace GiNaC