Dear All,
Good day!
I want to discharge this goal..... Can anyone guide me what property/tactic
can discharge this goal?
0 [`1 <= (i:num) /\ (i:num) <= dimindex (:?122893)`]
1 [`1 <= (i':num) /\ (i':num) <= dimindex (:?122892)`]
`(A:real^N^M)$
(((i:num) - 1) DIV dimindex (:?122884) + 1)$
(((i':num) - 1) DIV dimindex (:?122885) + 1) *
(lambda (i:num) (j:num).
(B:real^Q^P)$
(((i:num) - 1) DIV dimindex (:V) + 1)$
(((j:num) - 1) DIV dimindex (:U) + 1) *
(C:real^V^U)$
(((i:num) - 1) MOD dimindex (:V) + 1)$
(((j:num) - 1) MOD dimindex (:U) + 1))$
(((i:num) - 1) MOD dimindex (:?122884) + 1)$
(((i':num) - 1) MOD dimindex (:?122885) + 1) =
(A:real^N^M)$
(((i:num) - 1) DIV dimindex (:?122900) + 1)$
(((i':num) - 1) DIV dimindex (:?122901) + 1) *
(lambda (i:num) (j:num).
(B:real^Q^P)$
(((i:num) - 1) DIV dimindex (:V) + 1)$
(((j:num) - 1) DIV dimindex (:U) + 1) *
(C:real^V^U)$
(((i:num) - 1) MOD dimindex (:V) + 1)$
(((j:num) - 1) MOD dimindex (:U) + 1))$
(((i:num) - 1) MOD dimindex (:?122900) + 1)$
(((i':num) - 1) MOD dimindex (:?122901) + 1)`
Best Regards,
Abid Rauf
Ph.D Scholar (CS) & RA SAVe Labs,
School of Electrical Engineering and Computer Science (SEECS),
National University of Science and Technology (NUST), H-12, Islamabad,
Pakistan
------------------------------------------------------------------------------
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are
consuming the most bandwidth. Provides multi-vendor support for NetFlow,
J-Flow, sFlow and other flows. Make informed decisions using capacity
planning reports. https://ad.doubleclick.net/ddm/clk/305295220;132659582;e
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
