File: makerandom

package info (click to toggle)
frobby 0.9.7-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 11,616 kB
  • sloc: cpp: 30,134; sh: 1,184; makefile: 312; ansic: 102; lisp: 10
file content (12 lines) | stat: -rwxr-xr-x 319 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
 
#!/bin/bash

../../$frobby genfrob $* > random 2> /dev/null

echo -n "1 " > random.out.mat
wc random | sed "s/ *[0-9]* *\([0-9]*\) *.*/\1/" >> random.out.mat
cat random >> random.out.mat

../../4ti2/4ti2gmp groebner random.out > /dev/null
rm random.out.mat

cat random | ../../$frobby frobdyn > random.ref 2> /dev/null