| [4490] | 1 | seconds | gc | consed | calls | sec/call | name
|
|---|
| 2 | -----------------------------------------------------------------
|
|---|
| 3 | 47.911 | 0.734 | 14,766,255,360 | 30,363 | 0.001578 | DIVISION:NORMAL-FORM-STEP
|
|---|
| 4 | 5.932 | 0.063 | 836,129,760 | 58,852 | 0.000101 | POLYNOMIAL:SCALAR-MULTIPLY-BY
|
|---|
| 5 | 5.231 | 0.045 | 1,016,360,288 | 765,589 | 0.000007 | POLYNOMIAL:LEADING-MONOMIAL
|
|---|
| 6 | 0.239 | 0.007 | 100,511,616 | 6,256 | 0.000038 | POLYNOMIAL:POLY-EVAL
|
|---|
| 7 | 0.160 | 0.000 | 11,240,464 | 88 | 0.001816 | POLYNOMIAL:POLY-CONTENT
|
|---|
| 8 | 0.138 | 0.000 | 20,577,456 | 88 | 0.001567 | POLYNOMIAL:SCALAR-DIVIDE-BY
|
|---|
| 9 | 0.082 | 0.000 | 22,454,368 | 486 | 0.000169 | POLYNOMIAL:S-POLYNOMIAL
|
|---|
| 10 | 0.050 | 0.000 | 32 | 825,058 | 0.000000 | POLYNOMIAL:LEADING-TERM
|
|---|
| 11 | 0.039 | 0.000 | 6,847,264 | 2,681 | 0.000015 | POLYNOMIAL:MAKE-POLY-VARIABLE
|
|---|
| 12 | 0.037 | 0.000 | 0 | 1,491,357 | 0.000000 | (SETF POLYNOMIAL::LC)
|
|---|
| 13 | 0.030 | 0.000 | 5,340,288 | 1,387 | 0.000022 | POLYNOMIAL:MAKE-POLY-CONSTANT
|
|---|
| 14 | 0.023 | 0.000 | 32,752 | 33,443 | 0.000001 | POLYNOMIAL:CHANGE-TERM-ORDER
|
|---|
| 15 | 0.011 | 0.000 | 1,965,632 | 2,601 | 0.000004 | POLYNOMIAL::MULTIPLY-TERMLISTS
|
|---|
| 16 | 0.008 | 0.000 | 0 | 3,120,340 | 0.000000 | POLYNOMIAL::LC
|
|---|
| 17 | 0.004 | 0.000 | 0 | 100,335 | 0.000000 | POLYNOMIAL:POLY-TERM-ORDER
|
|---|
| 18 | 0.002 | 0.000 | 0 | 35,395 | 0.000000 | (SETF POLYNOMIAL:POLY-TERMLIST)
|
|---|
| 19 | 0.000 | 0.000 | 0 | 1,423 | 0.000000 | POLYNOMIAL:POLY-REMOVE-TERM
|
|---|
| 20 | 0.000 | 0.027 | 164,168,352 | 29,441 | 0.000000 | POLYNOMIAL::SUBTRACT-TERMLISTS
|
|---|
| 21 | 0.000 | 0.000 | 0 | 30,842 | 0.000000 | POLYNOMIAL::ADD-TERMLISTS
|
|---|
| 22 | 0.000 | 0.043 | 312,136,480 | 9,324,014 | 0.000000 | POLYNOMIAL::SLOW-ADD
|
|---|
| 23 | 0.000 | 0.000 | 0 | 30,842 | 0.000000 | POLYNOMIAL::FAST-ADD
|
|---|
| 24 | 0.000 | 0.000 | 0 | 59,469 | 0.000000 | POLYNOMIAL:LEADING-COEFFICIENT
|
|---|
| 25 | 0.000 | 0.000 | 0 | 1,015,691 | 0.000000 | POLYNOMIAL:POLY-TERMLIST
|
|---|
| 26 | 0.000 | 0.000 | 0 | 88 | 0.000000 | POLYNOMIAL:POLY-PRIMITIVE-PART
|
|---|
| 27 | 0.000 | 0.000 | 2,129,520 | 4 | 0.000000 | DIVISION:GROBNER-TEST
|
|---|
| 28 | 0.000 | 0.000 | 32,768 | 621 | 0.000000 | DIVISION:NORMAL-FORM
|
|---|
| 29 | 0.000 | 0.000 | 0 | 4 | 0.000000 | DIVISION:BUCHBERGER-CRITERION
|
|---|
| 30 | -----------------------------------------------------------------
|
|---|
| 31 | 59.898 | 0.919 | 17,266,182,400 | 16,966,758 | | Total
|
|---|
| 32 |
|
|---|
| 33 | estimated total profiling overhead: 13.95 seconds
|
|---|
| 34 | overhead estimation parameters:
|
|---|
| 35 | 6.e-9s/call, 8.22e-7s total profiling, 3.6199998e-7s internal profiling
|
|---|
