--- /dev/null
+#include "xtended.hh"
+#include "Text.hh"
+#include <math.h>
+
+#include "floats.hh"
+
+
+class Log10Prim : public xtended
+{
+
+ public:
+
+ Log10Prim() : xtended("logten") {}
+
+ virtual unsigned int arity () { return 1; }
+
+ virtual bool needCache () { return true; }
+
+ virtual Type infereSigType (const vector<Type>& args)
+ {
+ assert (args.size() == arity());
+ interval i = args[0]->getInterval();
+ if (i.valid && (i.lo > 0)) {
+ return castInterval(floatCast(args[0]), interval(log10(i.lo), log10(i.hi)));
+ } else {
+ return floatCast(args[0]);
+ }
+ }
+
+ virtual void sigVisit (Tree sig, sigvisitor* visitor) {}
+
+ virtual int infereSigOrder (const vector<int>& args) {
+ assert (args.size() == arity());
+ return args[0];
+ }
+
+
+ virtual Tree computeSigOutput (const vector<Tree>& args) {
+ num n;
+ assert (args.size() == arity());
+ if (isNum(args[0],n)) {
+ return tree(log10(double(n)));
+ } else {
+ return tree(symbol(), args[0]);
+ }
+ }
+
+ virtual string generateCode (Klass* klass, const vector<string>& args, const vector<Type>& types)
+ {
+ assert (args.size() == arity());
+ assert (types.size() == arity());
+
+ return subst("log10$1($0)", args[0], isuffix());
+ }
+
+ virtual string generateLateq (Lateq* lateq, const vector<string>& args, const vector<Type>& types)
+ {
+ assert (args.size() == arity());
+ assert (types.size() == arity());
+
+ return subst("\\log_{10}\\left( $0 \\right)", args[0]);
+ }
+
+};
+
+
+xtended* gLog10Prim = new Log10Prim();
+
+