]> www.ginac.de Git - ginac.git/blobdiff - ginac/relational.cpp
Fix some apparent typos and misindentations.
[ginac.git] / ginac / relational.cpp
index fc75e68f93925ab54c4c09ac4aede3c1f507ceb9..37063e6afec7ff0c3038d754ccba0cab387e549c 100644 (file)
@@ -3,7 +3,7 @@
  *  Implementation of relations between expressions */
 
 /*
- *  GiNaC Copyright (C) 1999-2009 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2015 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
@@ -25,6 +25,7 @@
 #include "numeric.h"
 #include "archive.h"
 #include "utils.h"
+#include "hash_seed.h"
 
 #include <iostream>
 #include <stdexcept>
@@ -259,8 +260,7 @@ return_type_t relational::return_type_tinfo() const
 
 unsigned relational::calchash() const
 {
-       const void* this_tinfo = (const void*)typeid(*this).name();
-       unsigned v = golden_ratio_hash((p_int)this_tinfo);
+       unsigned v = make_hash_seed(typeid(*this));
        unsigned lhash = lh.gethash();
        unsigned rhash = rh.gethash();
 
@@ -322,7 +322,7 @@ relational::safe_bool relational::make_safe_bool(bool cond) const
        return cond? &safe_bool_helper::nonnull : 0;
 }
 
-/** Cast the relational into a boolean, mainly for evaluation within an
+/** Cast the relational into a Boolean, mainly for evaluation within an
  *  if-statement.  Note that (a<b) == false does not imply (a>=b) == true in
  *  the general symbolic case.  A false result means the comparison is either
  *  false or undecidable (except of course for !=, where true means either