+++ /dev/null
-#include "xtended.hh"
-#include "compatibility.hh"
-#include "Text.hh"
-#include <math.h>
-
-#include "floats.hh"
-
-class RemainderPrim : public xtended
-{
-
- public:
-
- RemainderPrim() : xtended("remainder") {}
-
- virtual unsigned int arity () { return 2; }
-
- virtual bool needCache () { return true; }
-
- virtual Type infereSigType (const vector<Type>& args)
- {
- assert (args.size() == arity());
- return castInterval(floatCast(args[0]|args[1]), interval()); // temporary rule !!!
- }
-
- virtual void sigVisit (Tree sig, sigvisitor* visitor) {}
-
- virtual int infereSigOrder (const vector<int>& args) {
- assert (args.size() == arity());
- return max(args[0], args[1]);
- }
-
-
- virtual Tree computeSigOutput (const vector<Tree>& args) {
- num n,m;
- assert (args.size() == arity());
- if (isNum(args[0],n) & isNum(args[1],m)) {
- return tree(remainder(double(n), double(m)));
- } else {
- return tree(symbol(), args[0], args[1]);
- }
- }
-
- virtual string generateCode (Klass* klass, const vector<string>& args, const vector<Type>& types)
- {
- assert (args.size() == arity());
- assert (types.size() == arity());
-
- return subst("remainder$2($0,$1)", args[0], args[1], isuffix());
- }
-
- virtual string generateLateq (Lateq* lateq, const vector<string>& args, const vector<Type>& types)
- {
- assert (args.size() == arity());
- assert (types.size() == arity());
-
- return subst("$0\\pmod{$1}", args[0], args[1]); // Same as fmodprim.cpp.
- }
-
-};
-
-
-xtended* gRemainderPrim = new RemainderPrim();
-
-