Tag polynomial eqn solving with bf fdg and sf