/**  XFloor **/
/*A: K McIsaac*/
/*S: University of Western Australia, Nedlands 6009, Australia*/
/*D: December, 1986 */
/*K: Floor */
/*B:  */
/*:  SFloor
	Subsitutions to simplify the Floor function*/


/* Floorsimp[$exp],
	simplify occurences of floor function in $exp*/
Floorsimp[$exp] :: Si[At[Ex,$exp,Pos[Floor[$1],$exp]],SFloor]

SFloor[1] : Floor[$i _= Intp[$i]] -> $i
SFloor[2] : Floor[$$k + ($i _= Intp[$i])] -> $i + Floor[$$k]

/*E:
SMP 1.5.0   (May 14 1986)
Fri Feb  6 11:39:14 1987


#I[1]::  <XFloor

#I[2]::  Intp[i] : 1;

#I[3]::  2^Floor[(3+k + 2i)/2]

		3 + 2i + k
	  Floor[----------]
		    2
#O[3]:   2

#I[4]::  Floorsimp[%]

	  i + Floor[3/2 + k/2]
#O[4]:   2

#I[5]::  <end>
*/
