Slug #1070
Slug: MakeTermOrd (rk calls in RemoveRedundantRows)
Description
The function RemoveRedundantRows
is quite slow because of the repeated calls to rk
.
I had thought it was not important, but I have (small) examples where this function takes 90% of the computation of a GBasis (small ideal, with 30 unused indets).
Related issues
History
#1
Updated by Anna Maria Bigatti about 7 years ago
- Subject changed from Slug: MakeTermOrd to Slug: MakeTermOrd (rk calls in RemoveRedundantRows)
- Category set to Improving
- Assignee set to Anna Maria Bigatti
- Target version set to CoCoALib-1.0
- % Done changed from 0 to 10
I just implemented a workaround:
I check det(M) before calling RemoveRedundantRows
, if not 0 return M.
#2
Updated by Anna Maria Bigatti 3 months ago
- Related to Feature #937: LinDepMill: Mill for linear dependencies added