added three example files

for
. IntersectWithSubalgebra
. MaximalIndependentSet (which uses IntersectWithSubalgebra)
. AMaximalIdealContaining (which uses MaximalIndependentSet)