13.07.2015 Views

Janet's approach to presentations and resolutions for polynomials ...

Janet's approach to presentations and resolutions for polynomials ...

Janet's approach to presentations and resolutions for polynomials ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Janet’s <strong>approach</strong> <strong>to</strong> <strong>presentations</strong> <strong>and</strong> <strong>resolutions</strong> <strong>for</strong> <strong>polynomials</strong> <strong>and</strong> linear pdes. 7Algorithm 16 (Involutive reduction) Given a completed (finite) subset G ⊂ R q <strong>and</strong>some element u ∈ R q . Set u ′ := u, u ′′ := 0. As long as there exist monomials m occurringin u ′ which lie in the cone of Lt(g) <strong>for</strong> some g ∈ G, select the

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!