Project

General

Profile

Slug #1070

Slug: MakeTermOrd (rk calls in RemoveRedundantRows)

Added by Anna Maria Bigatti almost 7 years ago. Updated almost 7 years ago.

Status:
New
Priority:
Normal
Assignee:
Anna Maria Bigatti
Category:
Improving
Target version:
CoCoALib-1.0
Start date:
17 May 2017
Due date:
% Done:

10%

Estimated time:
Spent time:
0.50 h

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

Related to CoCoALib - Feature #937: LinDepMill: Mill for linear dependenciesIn Progress2016-10-06

History

#1 Updated by Anna Maria Bigatti almost 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 2 days ago

  • Related to Feature #937: LinDepMill: Mill for linear dependencies added

Also available in: Atom PDF