Dear All,
Good day. I want to solve the problem below. I am
trying e(SIMP_TAC[REAL_MUL_AC]);; but its not working here. Please help.
0 [`1 <= (i:num) /\ (i:num) <= dimindex (:?576605)`]
1 [`1 <= (i':num) /\ (i':num) <= dimindex (:?576604)`]
`(A:real^N^M)$
(((i:num) - 1) DIV dimindex (:?576596) + 1)$
(((i':num) - 1) DIV dimindex (:?576597) + 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 (:?576596) + 1)$
(((i':num) - 1) MOD dimindex (:?576597) + 1) =
(A:real^N^M)$
(((i:num) - 1) DIV dimindex (:?576612) + 1)$
(((i':num) - 1) DIV dimindex (:?576613) + 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 (:?576612) + 1)$
(((i':num) - 1) MOD dimindex (:?576613) + 1)`
Thanks in advance. Cheers!.
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
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
