Hello, I need some help to correct my algorithm steps to sum a number. I am confused... please input some steps
Example:
Let's say a number 5.
Now we can get a list of numbers: 1, 2, 3, 4 (less than 5 in sorted order).
so the sum could be: 1+4; 2+3 ( 1+1+1+1+1 or 1+2+2 is not a solution).
Hello everybody, I have been using my social security number for my taxation purposes. But, I have been recently intimidated by my lawyer that since the crime of identity theft has been on the high I should be careful in using it. I am really concerned about this and need to know whether there are... (1 Reply)
Hi All,
I have the following input which i want to process using AWK.
Rows,NC,amount
1,1202,0.192387
2,1201,0.111111
3,1201,0.123456
i want the following output
count of rows = 3 ,sum of amount = 0.426954
Many thanks (2 Replies)
Hi
i data looks like this:
student 1
Subject1 45 55
Subject2 44 55
Subject3 33 44
//
student 2
Subject1 45 55
Subject2 44 55
Subject3 33 44
i would like to sum $2, $3 (marks) and divide each entry in $2 and $3 with their respective sums and print for each student as $4 and... (2 Replies)
I am trying to figure out the OS version of my Linux box. I got three commands:
# uname -a
Linux test01 2.6.18-238.el5 #1 SMP Thu Jan 13 15:51:15 EST 2011 x86_64 x86_64 x86_64
# cat /proc/version
Linux version 2.6.18-238.el5 (mockbuild@builder10.centos.org) (gcc version 4.1.2 20080704... (4 Replies)
I have a simple text file having payment amount value on each line. At the end of day 'n' number of payments created difference in amount that I need to match from this file.
I have information about how many payments created difference and difference amount. Please help me to build shell... (3 Replies)
I have a file that looks like this:
HP ColorPlotter Z-6100
ACMARTIN IP 192.168.x.x
"VIRTUAL HP ( C9468A ) PART 1 of 2 (REAL CARTRIDGE 1)"
"VIRTUAL HP ( C9468A ) PART 2 of 2 (REAL CARTRIDGE 1)"
181
181
"VIRTUAL HP ( C9471A ) PART 1 of 2 (REAL CARTRIDGE 2)"
"VIRTUAL HP ( C9471A ) PART 2... (4 Replies)
Discussion started by: SysAdminRialto
4 Replies
LEARN ABOUT DEBIAN
prooftrans
PROOFTRANS(1) General Commands Manual PROOFTRANS(1)NAME
prooftrans - tool for transforming Prover9 proofs
SYNOPSIS
prooftrans [parents_only] [expand] [renumber] [striplabels] [-f file]
prooftrans xml [expand] [renumber] [striplabels] [-f file]
prooftrans ivy [renumber] [-f file]
prooftrans hints [-label label] [expand] [striplabels] [-f file]
prooftrans tagged [-f file]
DESCRIPTION
This manual page documents briefly the prooftrans command.
prooftrans can extract proofs from prover9(1) output files and transform them in various ways.
OPTIONS
A summary of options is included below.
renumber
Renumber steps.
parents_only
Simplify justifications by listing only parents.
expand Expand all steps, turning secondary justifications into explicit steps.
xml Produce proofs in XML.
ivy Produce proofs for checking by the IVY proof checker.
hints Produce hints for guiding subsequent searches.
tagged Produce proofs in a structured tagged format.
-label label
Attach label attributes to the hint clauses consisting of the string label and a sequence number generated by prooftrans.
-f file
Take input from file instead of from standard input.
SEE ALSO prover9(1).
Full documentation for prooftrans is found in the prover9 manual, available on Debian systems in the prover9-doc package at
/usr/share/doc/prover9-doc/manual/index.html.
AUTHOR
prooftrans was written by William McCune <mccune@cs.unm.edu>
This manual page was written by Peter Collingbourne <peter@pcc.me.uk>, for the Debian project (but may be used by others).
January 20, 2007 PROOFTRANS(1)