File: unzoom.cc

package info (click to toggle)
cadabra2 2.4.3.2-2
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 78,732 kB
  • sloc: ansic: 133,450; cpp: 92,064; python: 1,530; javascript: 203; sh: 184; xml: 182; objc: 53; makefile: 51
file content (25 lines) | stat: -rw-r--r-- 417 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
 

#include "Cleanup.hh"
#include "algorithms/unzoom.hh"
#include "algorithms/substitute.hh"

using namespace cadabra;

unzoom::unzoom(const Kernel& k, Ex& e)
	: Algorithm(k, e)
	{
	traverse_ldots=true;
	}

bool unzoom::can_apply(iterator it)
	{
	if(*it->name=="\\ldots")  return true;
	return false;
	}

Algorithm::result_t unzoom::apply(iterator& it)
	{
	it=tr.flatten_and_erase(it);
	return result_t::l_applied;
	}