add support for primary decomposition in Maple or find a fallback solution which avoids delegating the primary decomposition to the oracle