All Questions

Given a local commutative artinian algebra $A$ of the form $K[x_1,...,x_n]/I$ with quadratic ideal $I$ and $K$ a field. Question 1: Is there a computer algebra system that can check whether such an ...