Introduction

Abstract
EG-eliminations
LFsys package