Table of Contents

1. Introduction

1.1 Overview
1.2 Credits
1.3 Copying

2. Blackbox polynomials

2.1 Creation of a blackbox polynomial algebra
2.2 Creation of elements
2.3 Arithmetic operations
2.4 Equality tests
2.5 Evaluation
2.6 Degree, coefficients
2.7 Linear algebra
2.8 Printing

3. Lifting fiber

3.1 Creation of lifting fibers
3.2 Getting properties
3.3 Basic operations
3.4 Changes of fibers
3.5 Evaluation
3.6 Splittings
3.7 Printing

4. Lifting

4.1 Splitting before lifting
4.2 Lift curves
4.3 Change the magic point
4.4 Check lifting

5. Equidimensional decomposition

5.1 Inclusion of components
5.2 Set difference
5.3 Minimization
5.4 Intersection

6. Geometric Solve

6.1 Introduction
6.2 Verbosity
6.3 Geometric solve functionalities

Function Index