Changes between Version 2 and Version 6 of Ticket #16742


Ignore:
Timestamp:
08/19/14 12:11:58 (8 years ago)
Author:
ketzu
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #16742

    • Property Cc jsrn added
    • Property Keywords #16739 added
    • Property Type changed from PLEASE CHANGE to enhancement
  • Ticket #16742 – Description

    v2 v6  
    1 The target of this ticket is to enhance the function weak_popov of the matrix interface.
    2 The function should transform the matrix in weak popov form, it will use mulders-storjohann algorithm and should be much faster than the current implementation but will not work for polynomials over a fraction field only for polynomial rings over finite fields.
     1The target of this ticket is to enhance the function weak_popov of the matrix interface.  The function should transform the matrix in weak popov form, it will use mulders-storjohann algorithm and should be much faster than the current implementation but will not work for polynomials over a fraction field only for polynomial rings over finite fields.
     2
     3This ticket is independent from but connected to !#16739.
    34
    45Short description of weak popov form: Let R be an ordered Ring and Amxn a matrix over R. The leading position of a row is called the position i in [1,m) such that the order of A[i,_] is maximal within the row. If there are multiple entries with the maximum order, the highest i is the leading position (the furthest to the right in the matrix). A is in weak popov form if all leading positions are different (zero lines ignored).